aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohnvg2005-11-11 12:26:16 +0000
committerjohnvg2005-11-11 12:26:16 +0000
commit783b896e3a3529c6cc258063d2faa3d46c89492f (patch)
treea2a574b39efb941efcf3ea30149dc6e14dccb8e2
parentnew selector descriptors for garbage collector (diff)
use new selector descriptors for garbage collector
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1558 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--backendC/CleanCompilerSources/compiledefines.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/backendC/CleanCompilerSources/compiledefines.h b/backendC/CleanCompilerSources/compiledefines.h
index 05d5600..e4e8ea1 100644
--- a/backendC/CleanCompilerSources/compiledefines.h
+++ b/backendC/CleanCompilerSources/compiledefines.h
@@ -22,3 +22,5 @@
#define BOXED_RECORDS 1
#define KARBON
+
+#define NEW_SELECTOR_DESCRIPTORS