From 34661cedac9ea64c4cec5fc71f0d303eb7688723 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 2 Jul 2020 12:17:32 -0500
Subject: [PATCH] Fix regression option (#4680)

---
 test/regress/regress1/quantifiers/eqrange_ex_1.smt2 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/test/regress/regress1/quantifiers/eqrange_ex_1.smt2 b/test/regress/regress1/quantifiers/eqrange_ex_1.smt2
index ca53d7cf5..8e3311ff2 100644
--- a/test/regress/regress1/quantifiers/eqrange_ex_1.smt2
+++ b/test/regress/regress1/quantifiers/eqrange_ex_1.smt2
@@ -1,3 +1,5 @@
+; COMMAND-LINE: --arrays-exp
+; EXPECT: unsat
 (set-logic ALL)
 (set-info :status unsat)
 (set-option :produce-models true)
-- 
2.30.2