From 43106313622c0f147459bef44d25025335b6b4a5 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 22 Jun 2021 11:51:07 -0500
Subject: Fix type enumeration for non first-class sorts in FMF (#6719)

Fixes #6690.
---
 test/regress/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test/regress/CMakeLists.txt')

diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt
index 444e4c7f6..ca281af7b 100644
--- a/test/regress/CMakeLists.txt
+++ b/test/regress/CMakeLists.txt
@@ -1590,6 +1590,7 @@ set(regress_1_tests
   regress1/fmf/issue4068-si-qf.smt2
   regress1/fmf/issue4225-univ-fun.smt2
   regress1/fmf/issue5738-dt-interp-finite.smt2
+  regress1/fmf/issue6690-re-enum.smt2
   regress1/fmf/issue916-fmf-or.smt2
   regress1/fmf/jasmin-cdt-crash.smt2
   regress1/fmf/loopy_coda.smt2
-- 
cgit v1.2.3