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/satAtom.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/trace/satAtom.ml b/src/trace/satAtom.ml
index 0296c88..ff648a9 100644
--- a/src/trace/satAtom.ml
+++ b/src/trace/satAtom.ml
@@ -51,7 +51,7 @@ module Atom =
       t
 
     let interp_tbl reify =
-      CoqInterface.mkArray (Lazy.force cbool, atom_tbl reify)
+      CoqTerms.mkArray (Lazy.force cbool, atom_tbl reify)
 
     let logic _ = SL.empty
 
-- 
cgit