# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 789955363 0
# Node ID f4a1838db0bf42e5ed2b1b1bfda94f2b1896a128
# Parent  bfe591f6629920d5f59bfaf0e85f6ec15b44587c
Don't allow MARKBIT and DONT_COPY_FLAG to be the same bit.

diff -r bfe591f66299 -r f4a1838db0bf src/alloc.c
--- a/src/alloc.c	Fri Jan 13 00:00:23 1995 +0000
+++ b/src/alloc.c	Fri Jan 13 00:02:43 1995 +0000
@@ -118,6 +118,10 @@
 #define DONT_COPY_FLAG 1
 #endif /* no DONT_COPY_FLAG  */
 
+#if DONT_COPY_FLAG == MARKBIT
+you lose
+#endif
+
 /* Buffer in which we save a copy of the C stack at each GC.  */
 
 char *stack_copy;