From fac9967dcfcfd771cbcf17b364b324bc19587159 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Wed, 5 May 2021 17:33:45 +0200
Subject: CompDec on interpreted type

---
 src/trace/smtBtype.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/trace/smtBtype.ml')

diff --git a/src/trace/smtBtype.ml b/src/trace/smtBtype.ml
index 1e05dc4..2194a57 100644
--- a/src/trace/smtBtype.ml
+++ b/src/trace/smtBtype.ml
@@ -310,6 +310,6 @@ let of_coq_compdec reify t compdec =
                Hashtbl.add reify.tbl t res;
                res
          )
-      | _ -> assert false
+      | _ -> ty
   with Not_found ->
     declare_compdec reify t compdec
-- 
cgit