Adapt globals.lsp to modern LKB
emilymbender opened this issue · comments
The file lkb/globals.lsp as provided by the customization system should now include these lines as well:
(setf *gen-equate-qeqs-p* t)
(defparameter *gen-start-symbol* '(root)
"specifying valid realizations")