diff options
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 20768ba8..4a28c92d 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -1309,7 +1309,7 @@ clearReplacement name == property(name,'%redex) := nil printBackendStmt(db,stmt) == - printBackendDecl(nil,stmt) + printBackendDecl stmt evalAndPrintBackendStmt(db,stmt) == eval stmt @@ -1601,10 +1601,6 @@ noteSpecialVariable x == $SpecialVars := insert(x,$SpecialVars) --% - -$compileDontDefineFunctions := true - ---% --% Compile Time operation lookup for the benefit of domain inlining. --% |