- most of cic/ removed

[helm.git] / matita / components / content / interpretations.ml

diff --git a/matita/components/content/interpretations.ml b/matita/components/content/interpretations.ml
index c7bfa576804b19621429f46f9556a4158b1db350..1f16df421a3ebb11a8b876f19ec64d4f23181a26 100644 (file)
--- a/matita/components/content/interpretations.ml
+++ b/matita/components/content/interpretations.ml
@@ -28,7 +28,6 @@
 open Printf
 
 module Ast = NotationPt
-module Obj = LibraryObjects
 
 let debug = false
 let debug_print s = if debug then prerr_endline (Lazy.force s) else ()