]> matita.cs.unibo.it Git - helm.git/blobdiff - components/cic/.depend
Procedural : cic object preprocessor added
[helm.git] / components / cic / .depend
index 0d1e0cafcf05ef125febf912738e0d2c5a4ac904..a1a32d4570a08eb2986107a8522226e6aaf4877d 100644 (file)
@@ -5,6 +5,7 @@ cicUtil.cmi: cic.cmo
 helmLibraryObjects.cmi: cic.cmo 
 discrimination_tree.cmi: cic.cmo 
 path_indexing.cmi: cic.cmo 
+cicInspect.cmi: cic.cmo 
 cic.cmo: cicUniv.cmi 
 cic.cmx: cicUniv.cmx 
 unshare.cmo: cic.cmo unshare.cmi