diff options
Diffstat (limited to 'src/preprocessing/passes/symmetry_breaker.cpp')
-rw-r--r-- | src/preprocessing/passes/symmetry_breaker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/symmetry_breaker.cpp b/src/preprocessing/passes/symmetry_breaker.cpp index e1b6b4274..c32057d5f 100644 --- a/src/preprocessing/passes/symmetry_breaker.cpp +++ b/src/preprocessing/passes/symmetry_breaker.cpp @@ -129,7 +129,7 @@ PreprocessingPassResult SymBreakerPass::applyInternal( Trace("sym-break-pass") << "Apply symmetry breaker pass..." << std::endl; // detect symmetries std::vector<std::vector<Node>> part; - SymmetryDetect symd; + symbreak::SymmetryDetect symd; symd.getPartition(part, assertionsToPreprocess->ref()); if (Trace.isOn("sym-break-pass")) { |