cic module removed (RIP)

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

diff --git a/matita/components/content/interpretations.mli b/matita/components/content/interpretations.mli
index 222a340f4ea6de8f3c84c7ee0d18d200c2f56f96..10a2f093e1c6b90600f1e4d12d519345c922bd4f 100644 (file)
--- a/matita/components/content/interpretations.mli
+++ b/matita/components/content/interpretations.mli
@@ -28,6 +28,8 @@
 
 type interpretation_id
 
+type cic_id = string
+
 val add_interpretation:
   string ->                                       (* id / description *)
   string * NotationPt.argument_pattern list -> (* symbol, level 2 pattern *)