diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-29 15:34:35 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-29 15:34:35 +0000 |
| commit | 9302bb2272f4e90b057548afe7c406f52b773e62 (patch) | |
| tree | 03cc11710bd9cb265cf566d24e64b9aa80b1dcbe /src/interp/c-util.boot | |
| parent | 2b324bcfd116749f4966dd1948f0d9bf7b4a0033 (diff) | |
| download | open-axiom-9302bb2272f4e90b057548afe7c406f52b773e62.tar.gz | |
Simplify backend functions
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. --% |