Moving some instantiation-related stuff from src/theory to src/theory/quantifiers...

[cvc5.git] / src / theory / arrays / theory_arrays_instantiator.cpp

diff --git a/src/theory/arrays/theory_arrays_instantiator.cpp b/src/theory/arrays/theory_arrays_instantiator.cpp
index f5a7227377db48c1f28410156738f7695760c55a..844a11c317f823a0e562e39f297e013539f47a28 100644 (file)
--- a/src/theory/arrays/theory_arrays_instantiator.cpp
+++ b/src/theory/arrays/theory_arrays_instantiator.cpp
@@ -18,7 +18,7 @@
 #include "theory/arrays/theory_arrays_instantiator.h"
 #include "theory/arrays/theory_arrays.h"
 #include "theory/quantifiers/options.h"
-#include "theory/rr_candidate_generator.h"
+#include "theory/rewriterules/rr_candidate_generator.h"
 
 using namespace std;
 using namespace CVC4;