Commits

Leonardo de Moura  committed 4daecd5

fixed compilation bug

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

  • Participants
  • Parent commits 7f1f041

Comments (0)

Files changed (1)

File src/tactic/ufbv_tactic/ufbv_tactic.cpp

 #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"
 #include"reduce_args_tactic.h"
 #include"smt_tactic.h"
 #include"ufbv_tactic.h"
+#include"nnf_tactic.h"
 
 class macro_finder_tactic : public tactic {