diff --git a/test/regress/cli/regress0/proofs/alpha-equiv-reusing-variable.smt2 b/test/regress/cli/regress0/proofs/alpha-equiv-reusing-variable.smt2
index f225c10b0bf..21854fdfcdf 100644
--- a/test/regress/cli/regress0/proofs/alpha-equiv-reusing-variable.smt2
+++ b/test/regress/cli/regress0/proofs/alpha-equiv-reusing-variable.smt2
@@ -1,4 +1,5 @@
 ; EXPECT: unsat
+; DISABLE-TESTER: cpc
 (set-logic AUFLIA)
 (declare-sort A$ 0)
 (declare-sort B$ 0)