* doubleTypeInference.ml* added. For now, it just computes the synthesized type.

[helm.git] / helm / gTopLevel / cic2acic.mli

diff --git a/helm/gTopLevel/cic2acic.mli b/helm/gTopLevel/cic2acic.mli
index 479a5760c63f9fadb0906fdc498efeed31f8baf5..a2c0497f1e3658aebaa8dfa270ccae89b65de7bf 100644 (file)
--- a/helm/gTopLevel/cic2acic.mli
+++ b/helm/gTopLevel/cic2acic.mli
@@ -26,8 +26,6 @@
 exception NotImplemented
 exception NotEnoughElements
 exception NameExpected
-exception Found of (Cic.name * Cic.context_entry) list
-exception NotImplemented
 
 val acic_of_cic_context' :
   int ref ->                              (* seed *)