mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
compilation fix
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
a02c59c1bc
commit
fc0cdcfd29
|
@ -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
|
||||
#endif
|
||||
|
|
Loading…
Reference in a new issue