minor

meelgroup · Nov 29, 2024 · 66c40c7 · 66c40c7
1 parent 50dd66e
commit 66c40c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/stp/main.cpp b/tools/stp/main.cpp
@@ -521,7 +521,7 @@ int ExtraMain::parse_options(int argc, char** argv)
     std::exit(-1);
   }
 #endif
-#ifdef USE_GANAK or USE_UNIGEN
+#ifdef USE_GANAK
 
   if (bm->UserFlags.sampling_mode || bm->UserFlags.counting_mode)
   {