From c163813243e1b38b7d8c10b49d78a728d747e0e5 Mon Sep 17 00:00:00 2001
From: ckeller <ckeller@users.noreply.github.com>
Date: Tue, 15 Feb 2022 18:27:33 +0100
Subject: Use the Register mechanism (#104)

---
 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 c610129..923874e 100644
--- a/src/trace/smtBtype.ml
+++ b/src/trace/smtBtype.ml
@@ -156,7 +156,7 @@ let interp_tbl reify =
       | _ -> Some bt
   in
   Hashtbl.filter_map_inplace set reify.tbl;
-  CoqInterface.mkArray (Lazy.force ctyp_compdec, t)
+  CoqTerms.mkArray (Lazy.force ctyp_compdec, t)
 
 
 let to_list reify =
-- 
cgit