aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohnvg2002-10-21 11:40:11 +0000
committerjohnvg2002-10-21 11:40:11 +0000
commit123cd7a5861ad5625ae80a583e1dac34b31e7386 (patch)
tree65c35a4d21ad96d7483132cae914d5a2ddcc2dd8
parentremove unused code (diff)
add BOXED_RECORDS macro
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1250 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--backendC/CleanCompilerSources/compiledefines.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/backendC/CleanCompilerSources/compiledefines.h b/backendC/CleanCompilerSources/compiledefines.h
index 3c714ca..f8c3a20 100644
--- a/backendC/CleanCompilerSources/compiledefines.h
+++ b/backendC/CleanCompilerSources/compiledefines.h
@@ -21,5 +21,6 @@
#define SA_RECOGNIZES_ABORT_AND_UNDEF 1
#define STRICT_LISTS 1
+#define BOXED_RECORDS 0
-#undef KARBON \ No newline at end of file
+#undef KARBON