1 files changed, 7 insertions, 0 deletions
diff --git a/test/regress/regress0/quantifiers/simp-typ-test.smt2 b/test/regress/regress0/quantifiers/simp-typ-test.smt2
new file mode 100755
index 000000000..366559b9d
--- /dev/null
+++ b/test/regress/regress0/quantifiers/simp-typ-test.smt2
@@ -0,0 +1,7 @@
+(set-logic UFLIRA)
+(set-info :status unsat)
+; ensure that E-matching matches on sub-types
+(declare-fun P (Real) Bool)
+(assert (forall ((x Real)) (P x)))
+(assert (not (P 5)))
+(check-sat)
+\ No newline at end of file