diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lisp/core.lisp.in | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/lisp/core.lisp.in b/src/lisp/core.lisp.in index 7325d641..338d37ee 100644 --- a/src/lisp/core.lisp.in +++ b/src/lisp/core.lisp.in @@ -956,10 +956,7 @@ (pushnew :open-axiom-base-lisp *features*) ,prologue (funcall ,entry-point))) - (|coreQuit|))) - ) - -(trace |link|) + (|coreQuit|)))) ;; ;; -*- Handling Command Line Arguments -*- |