1 files changed, 3 insertions, 3 deletions

diff --git a/extra.h b/extra.h
index 5abb0c7..9938cee 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 0
+#define LITMUS 1
 #define MMDC_PROF 0
 
 #if LITMUS
@@ -86,10 +86,10 @@ struct control_page *_rt_cp;
 static void _rt_load_params_itrl(int argc, char **argv) {
 #ifdef PAIRED
     if (argc != (9 + LITMUS*2) && argc != (10 + LITMUS*2)) {
-        fprintf(stderr, "Usage: %s <name> <loops> <my core> <other core> <other name> <runID> <save results?> <pairID>\n", argv[0]);
+        fprintf(stderr, "Usage: %s <name> <loops> <my core> <other core> <other name> <runID> <save results?> <pairID> <task period> <task criticality> <task phase>\n", argv[0]);
 #else
     if (argc != (7 + LITMUS*2)) {
-        fprintf(stderr, "Usage: %s <name> <loops> <my core> <runID> <save results?>\n", argv[0]);
+        fprintf(stderr, "Usage: %s <name> <loops> <my core> <runID> <save results?> <task period> <task criticality> <task phase>\n", argv[0]);
 #endif /* PAIRED */
         fprintf(stderr, " <name> string for logging. Name of this task.\n");
         fprintf(stderr, " <loops> integer number of iterations. -1 for infinite.\n");