From afc4c700b17488b15e5f2ae6de9211a11c879860 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 28 Jan 2021 14:49:15 -0800
Subject: [PATCH] move directory

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/CMakeLists.txt                      | 1 -
 src/ast/rewriter/CMakeLists.txt             | 1 +
 src/ast/{ => rewriter}/cached_var_subst.cpp | 2 +-
 src/ast/{ => rewriter}/cached_var_subst.h   | 0
 src/smt/qi_queue.h                          | 4 ++--
 5 files changed, 4 insertions(+), 4 deletions(-)
 rename src/ast/{ => rewriter}/cached_var_subst.cpp (98%)
 rename src/ast/{ => rewriter}/cached_var_subst.h (100%)

diff --git a/src/ast/CMakeLists.txt b/src/ast/CMakeLists.txt
index f14a28373..0e2005e15 100644
--- a/src/ast/CMakeLists.txt
+++ b/src/ast/CMakeLists.txt
@@ -14,7 +14,6 @@ z3_add_component(ast
     ast_translation.cpp
     ast_util.cpp
     bv_decl_plugin.cpp
-    cached_var_subst.cpp
     char_decl_plugin.cpp
     datatype_decl_plugin.cpp
     decl_collector.cpp
diff --git a/src/ast/rewriter/CMakeLists.txt b/src/ast/rewriter/CMakeLists.txt
index 1c0cebd54..c57b02b98 100644
--- a/src/ast/rewriter/CMakeLists.txt
+++ b/src/ast/rewriter/CMakeLists.txt
@@ -8,6 +8,7 @@ z3_add_component(rewriter
     bv_bounds.cpp
     bv_elim.cpp
     bv_rewriter.cpp
+    cached_var_subst.cpp
     datatype_rewriter.cpp
     der.cpp
     distribute_forall.cpp
diff --git a/src/ast/cached_var_subst.cpp b/src/ast/rewriter/cached_var_subst.cpp
similarity index 98%
rename from src/ast/cached_var_subst.cpp
rename to src/ast/rewriter/cached_var_subst.cpp
index 93b7467bd..61f9ceee7 100644
--- a/src/ast/cached_var_subst.cpp
+++ b/src/ast/rewriter/cached_var_subst.cpp
@@ -16,7 +16,7 @@ Author:
 Revision History:
 
 --*/
-#include "ast/cached_var_subst.h"
+#include "ast/rewriter/cached_var_subst.h"
 #include "ast/rewriter/rewriter_def.h"
 
 bool cached_var_subst::key_eq_proc::operator()(cached_var_subst::key * k1, cached_var_subst::key * k2) const {
diff --git a/src/ast/cached_var_subst.h b/src/ast/rewriter/cached_var_subst.h
similarity index 100%
rename from src/ast/cached_var_subst.h
rename to src/ast/rewriter/cached_var_subst.h
diff --git a/src/smt/qi_queue.h b/src/smt/qi_queue.h
index 7ea524b9e..3de5cb436 100644
--- a/src/smt/qi_queue.h
+++ b/src/smt/qi_queue.h
@@ -19,13 +19,13 @@ Revision History:
 #pragma once
 
 #include "ast/ast.h"
-#include "ast/cached_var_subst.h"
 #include "ast/quantifier_stat.h"
+#include "ast/rewriter/cached_var_subst.h"
+#include "parsers/util/cost_parser.h"
 #include "smt/smt_checker.h"
 #include "smt/smt_quantifier.h"
 #include "smt/fingerprints.h"
 #include "smt/params/qi_params.h"
-#include "parsers/util/cost_parser.h"
 #include "smt/cost_evaluator.h"
 #include "util/statistics.h"