Make symmetry-breaker-exp into a preprocessing pass (#1890)

[cvc5.git] / test / regress / regress1 / sym / sym3.smt2

diff --git a/test/regress/regress1/sym/sym3.smt2 b/test/regress/regress1/sym/sym3.smt2
index 52f9855c9c541897278ccee2c4bdc4db99cd3f7e..c6b87adebbd26ff8bf323d9fd0539b983d37e630 100644 (file)
--- a/test/regress/regress1/sym/sym3.smt2
+++ b/test/regress/regress1/sym/sym3.smt2
@@ -1,4 +1,4 @@
-; COMMAND-LINE: --symmetry-detect
+; COMMAND-LINE: --symmetry-breaker-exp
 (set-logic ALL)
 (set-info :status sat)
 (declare-fun x () Int)