diff options
author | ronny | 2002-06-19 15:13:39 +0000 |
---|---|---|
committer | ronny | 2002-06-19 15:13:39 +0000 |
commit | 884a25381e4427a217b967fa69c698cd2a75c474 (patch) | |
tree | 49c0acaa71a04ee599299630c82eb5effe315e1b /main/Unix | |
parent | Optional logging (diff) |
Removed trace command
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1125 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/Unix')
-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" |