From 91c65178c78c70083df0b6520b6a0038e1c1a6a1 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 24 Oct 2012 14:48:45 -0700
Subject: [PATCH] fixed compilation bug

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/tactic/sls_tactic/sls_tactic.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tactic/sls_tactic/sls_tactic.cpp b/src/tactic/sls_tactic/sls_tactic.cpp
index 93e61f3b3..6765ef4cb 100644
--- a/src/tactic/sls_tactic/sls_tactic.cpp
+++ b/src/tactic/sls_tactic/sls_tactic.cpp
@@ -34,6 +34,7 @@ Notes:
 #include"expr2dot.h"
 #include"propagate_values_tactic.h"
 #include"sls_tactic.h"
+#include"nnf_tactic.h"
 
 class sls_tactic : public tactic {
     class stats {