1 files changed, 1 insertions, 1 deletions
diff --git a/extra.h b/extra.h
index 9938cee..ceaee92 100644
--- a/extra.h
+++ b/extra.h
@@ -30,7 +30,7 @@ extern int sched_getcpu();
 #endif
 // This is a proxy for "case study mode" now
-#define LITMUS 1
+#define LITMUS 0
 #define MMDC_PROF 0
 #if LITMUS

diff --git a/extra.h b/extra.h index 9938cee..ceaee92 100644 --- a/extra.h +++ b/extra.h
@@ -30,7 +30,7 @@ extern int sched_getcpu();
30	#endif	30	#endif
31		31
32	// This is a proxy for "case study mode" now	32	// This is a proxy for "case study mode" now
33	#define LITMUS 1	33	#define LITMUS 0
34	#define MMDC_PROF 0	34	#define MMDC_PROF 0
35		35
36	#if LITMUS	36	#if LITMUS