From 7072c4591668d2c21211a744d3719f6b42d1e7b9 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@inria.fr>
Date: Tue, 13 Jan 2015 17:11:29 +0100
Subject: Identify ML functions that depend on native-coq

---
 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 ca72504..f381407 100644
--- a/src/trace/satAtom.ml
+++ b/src/trace/satAtom.ml
@@ -53,7 +53,7 @@ module Atom =
       t
 
     let interp_tbl reify =
-      Term.mkArray (Lazy.force cbool, atom_tbl reify)
+      Structures.mkArray (Lazy.force cbool, atom_tbl reify)
 
   end
 
-- 
cgit