diff options
| -rw-r--r-- | main/Unix/CoclSystemDependent.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/Unix/CoclSystemDependent.icl b/main/Unix/CoclSystemDependent.icl index de9b0e9..83bea1f 100644 --- a/main/Unix/CoclSystemDependent.icl +++ b/main/Unix/CoclSystemDependent.icl @@ -119,6 +119,6 @@ compile_files compile compile_state -> abort "compile_files 3"; -> compile_files compile compile_state ["quit"] - -> trace_n "quiting" compile_state; + -> /* trace_n "quiting" */ compile_state; _ -> abort "compile_files 4" |