diff --git a/src/tactic/smtlogics/CMakeLists.txt b/src/tactic/smtlogics/CMakeLists.txt
index 2741334b4..bbdcae080 100644
--- a/src/tactic/smtlogics/CMakeLists.txt
+++ b/src/tactic/smtlogics/CMakeLists.txt
@@ -40,3 +40,4 @@ z3_add_component(smtlogic_tactics
     qfufbv_tactic.h
     quant_tactics.h
 )
+add_definitions(-DSTART_ONLY_QFNIA_SMT)