rename files to theory_user_propagator

Z3Prover · Nov 30, 2021 · 959f4c9 · 959f4c9
1 parent 5857236
commit 959f4c9
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/src/smt/CMakeLists.txt b/src/smt/CMakeLists.txt
@@ -70,9 +70,9 @@ z3_add_component(smt
     theory_str.cpp
     theory_str_mc.cpp
     theory_str_regex.cpp
+    theory_user_propagator.cpp
     theory_utvpi.cpp
     theory_wmaxsat.cpp
-    user_propagator.cpp
     uses_theory.cpp
     watch_list.cpp
   COMPONENT_DEPENDENCIES

diff --git a/src/smt/smt_context.h b/src/smt/smt_context.h
@@ -46,7 +46,7 @@ Revision History:
 #include "util/statistics.h"
 #include "smt/fingerprints.h"
 #include "smt/proto_model/proto_model.h"
-#include "smt/user_propagator.h"
+#include "smt/theory_user_propagator.h"
 #include "model/model.h"
 #include "solver/progress_callback.h"
 #include "solver/assertions/asserted_formulas.h"

diff --git a/src/smt/user_propagator.cpp → src/smt/theory_user_propagator.cpp b/src/smt/user_propagator.cpp → src/smt/theory_user_propagator.cpp
@@ -3,7 +3,7 @@ Copyright (c) 2020 Microsoft Corporation
 
 Module Name:
 
-    user_propagator.cpp
+    theory_user_propagator.cpp
 
 Abstract:
 
@@ -17,7 +17,7 @@ Module Name:
 
 
 #include "ast/ast_pp.h"
-#include "smt/user_propagator.h"
+#include "smt/theory_user_propagator.h"
 #include "smt/smt_context.h"
 
 using namespace smt;

diff --git a/src/smt/user_propagator.h → src/smt/theory_user_propagator.h b/src/smt/user_propagator.h → src/smt/theory_user_propagator.h