Index: src/tests/designations.c
===================================================================
--- src/tests/designations.c	(revision 8eb348a347301e6734e6bbd0827acd993a3db4f7)
+++ src/tests/designations.c	(revision 4e7a4e6f5a54d4c358298acebe5d7a782f0fc9d5)
@@ -17,5 +17,5 @@
 // In particular, since the syntax for designations in Cforall differs from that of C, preprocessor substitution
 // is used for the designation syntax
-#ifdef __CFORALL__
+#ifdef __cforall
 #define DES :
 #else