diff options
Diffstat (limited to 'src/flat_print.sig')
-rw-r--r-- | src/flat_print.sig | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/flat_print.sig b/src/flat_print.sig index 1271e811..627bfee9 100644 --- a/src/flat_print.sig +++ b/src/flat_print.sig @@ -35,4 +35,3 @@ signature FLAT_PRINT = sig val debug : bool ref end - |