mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00
Code Activity

fixing include paths

Browse source
This commit is contained in:
Arie Gurfinkel 2017-07-31 17:14:43 -04:00
parent 97c5ab30d5
commit f465a2225a
2 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/muz/bmc/dl_bmc_engine.cpp
View file

@ -32,7 +32,8 @@ Revision History:
#include "muz/transforms/dl_transforms.h"
#include "muz/transforms/dl_mk_rule_inliner.h"
#include "ast/scoped_proof.h"
#include "muz/base/fixedpoint_params.hpp"
#include "fixedpoint_params.hpp"
namespace datalog {

3
src/muz/transforms/dl_transforms.cpp
View file

@ -33,8 +33,9 @@ Revision History:
#include "muz/transforms/dl_mk_quantifier_instantiation.h"
#include "muz/transforms/dl_mk_subsumption_checker.h"
#include "muz/transforms/dl_mk_scale.h"
#include "muz/base/fixedpoint_params.hpp"
#include "muz/transforms/dl_mk_array_eq_rewrite.h"
#include "muz/transforms/dl_mk_array_instantiation.h"
#include "fixedpoint_params.hpp"
namespace datalog {