disable debugging code accidentally left in
original commit: 98f79072582dac3e5c4f6044667f64546d9bfdb5
This commit is contained in:
parent
8ba66aafd0
commit
597bf1ffcb
|
@ -30,7 +30,7 @@
|
|||
(src-pos)
|
||||
(tokens basic-empty-tokens basic-tokens prim-tokens renames-tokens)
|
||||
(end EOF)
|
||||
(debug "/tmp/ryan/DEBUG-PARSER.txt")
|
||||
#|(debug "/tmp/ryan/DEBUG-PARSER.txt")|#
|
||||
(error deriv-error))
|
||||
|
||||
;; tokens
|
||||
|
|
Loading…
Reference in New Issue
Block a user