From 7a7566f39e183f8cc5cbe9f1ae251f96aafc1e6f Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 25 Apr 2014 18:11:30 +0100 Subject: [PATCH] compilation fix Signed-off-by: Christoph M. Wintersteiger --- src/tactic/sls/sls_tracker.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/tactic/sls/sls_tracker.h b/src/tactic/sls/sls_tracker.h index 186fae250..73355197a 100644 --- a/src/tactic/sls/sls_tracker.h +++ b/src/tactic/sls/sls_tracker.h @@ -25,6 +25,7 @@ Notes: #include"bv_decl_plugin.h" #include"model.h" +#include"sls_params.hpp" #include"sls_powers.h" class sls_tracker { @@ -1052,4 +1053,4 @@ public: } }; -#endif \ No newline at end of file +#endif