mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
compilation fixes
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
b76ffddf49
commit
1b98e6002b
|
@ -22,6 +22,7 @@ Notes:
|
|||
#include"stopwatch.h"
|
||||
#include"lbool.h"
|
||||
#include"model_converter.h"
|
||||
#include"goal.h"
|
||||
|
||||
#include"sls_compilation_settings.h"
|
||||
#include"sls_tracker.h"
|
||||
|
|
|
@ -21,6 +21,7 @@ Notes:
|
|||
#define _SLS_TRACKER_H_
|
||||
|
||||
#include"for_each_expr.h"
|
||||
#include"ast_smt2_pp.h"
|
||||
#include"bv_decl_plugin.h"
|
||||
#include"model.h"
|
||||
|
||||
|
|
Loading…
Reference in a new issue