diff --git a/test/regress/cli/regress0/proofs/t3_rw903.smt2 b/test/regress/cli/regress0/proofs/t3_rw903.smt2
index 93cc7ebfb7d..890ac068460 100644
--- a/test/regress/cli/regress0/proofs/t3_rw903.smt2
+++ b/test/regress/cli/regress0/proofs/t3_rw903.smt2
@@ -1,5 +1,6 @@
 ; EXPECT: unsat
 ; DISABLE-TESTER: unsat-core
+; DISABLE-TESTER: lfsc
 (set-logic UFNIA)
 (declare-fun pow2 (Int) Int)
 (declare-fun intor (Int Int Int) Int)