diff --git a/src/tactic/ufbv_tactic/ufbv_tactic.cpp b/src/tactic/ufbv_tactic/ufbv_tactic.cpp
index fa280c482..ac0bff8f0 100644
--- a/src/tactic/ufbv_tactic/ufbv_tactic.cpp
+++ b/src/tactic/ufbv_tactic/ufbv_tactic.cpp
@@ -19,7 +19,6 @@ Notes:
 #include"tactical.h"
 #include"simplify_tactic.h"
 #include"propagate_values_tactic.h"
-#include"nnf.h"
 #include"solve_eqs_tactic.h"
 #include"simplifier.h"
 #include"basic_simplifier_plugin.h"
@@ -35,6 +34,7 @@ Notes:
 #include"reduce_args_tactic.h"
 #include"smt_tactic.h"
 #include"ufbv_tactic.h"
+#include"nnf_tactic.h"
 
 class macro_finder_tactic : public tactic {