From fd88b18c0db55eb63d0cd0454b19810a8abee789 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 22 Jan 2020 17:02:58 -0600
Subject: Fix subtyping for instantiations where internal representatives are
 chosen (#3641)

---
 test/regress/regress1/fmf/issue3626.smt2 | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 test/regress/regress1/fmf/issue3626.smt2

(limited to 'test/regress/regress1/fmf')

diff --git a/test/regress/regress1/fmf/issue3626.smt2 b/test/regress/regress1/fmf/issue3626.smt2
new file mode 100644
index 000000000..9f27dee01
--- /dev/null
+++ b/test/regress/regress1/fmf/issue3626.smt2
@@ -0,0 +1,5 @@
+; COMMAND-LINE: --fmf-bound
+; EXPECT: sat
+(set-logic ALL)
+(assert (forall ((a Int)) (or (distinct (/ 0 0) a) (= (/ 0 a) 0))))
+(check-sat)
-- 
cgit v1.2.3