Renamed to MCRL2_ENABLE_JITTY after wrong merge

mCRL2org · Mar 12, 2024 · 037a140 · 037a140
1 parent 0a00c79
commit 037a140
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libraries/data/include/mcrl2/data/rewriter_tool.h b/libraries/data/include/mcrl2/data/rewriter_tool.h
@@ -44,7 +44,7 @@ class rewriter_tool: public Tool
       utilities::interface_description::enum_argument<data::rewrite_strategy> rewriter_option("NAME");
       rewriter_option.add_value(data::jitty, true);
       rewriter_option.add_value(data::innermost);
-#ifdef MCRL2_JITTYC_AVAILABLE
+#ifdef MCRL2_ENABLE_JITTYC
       rewriter_option.add_value(data::jitty_compiling);
 #endif
       if (!suppress_jittyp)