From caca07c85f5ca8174102bc2e842efbb7bd213877 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 15 Jun 2018 15:28:18 -0700 Subject: [PATCH] fix path to moved header file Signed-off-by: Nikolaj Bjorner --- src/muz/transforms/dl_mk_array_eq_rewrite.cpp | 2 +- src/muz/transforms/dl_mk_array_instantiation.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/muz/transforms/dl_mk_array_eq_rewrite.cpp b/src/muz/transforms/dl_mk_array_eq_rewrite.cpp index 61eafae64..c8a3d4357 100644 --- a/src/muz/transforms/dl_mk_array_eq_rewrite.cpp +++ b/src/muz/transforms/dl_mk_array_eq_rewrite.cpp @@ -22,7 +22,7 @@ Revision History: #include "muz/base/dl_context.h" #include "muz/base/fp_params.hpp" #include "muz/transforms/dl_mk_array_eq_rewrite.h" -#include "ast/factor_equivs.h" +#include "ast/rewriter/factor_equivs.h" namespace datalog { diff --git a/src/muz/transforms/dl_mk_array_instantiation.h b/src/muz/transforms/dl_mk_array_instantiation.h index b2e80ab84..51a818a3f 100644 --- a/src/muz/transforms/dl_mk_array_instantiation.h +++ b/src/muz/transforms/dl_mk_array_instantiation.h @@ -70,7 +70,7 @@ Revision History: #define DL_MK_ARRAY_INSTANTIATION_H_ -#include "ast/factor_equivs.h" +#include "ast/rewriter/factor_equivs.h" #include "muz/base/dl_rule_transformer.h" namespace datalog {