X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2Fcic2acic.ml;h=f45a92c1ab81c355c86128a99fc7d58737d0c3a3;hb=c517601da65ba49769c401105d36c293a2c92a71;hp=ab6342b55892acf917bea708f444123b0e6dc5a7;hpb=9be7ec5bbacfafed8a3e37cfe0095f2aea1b9bf9;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/cic2acic.ml b/helm/ocaml/cic_omdoc/cic2acic.ml
index ab6342b55..f45a92c1a 100644
--- a/helm/ocaml/cic_omdoc/cic2acic.ml
+++ b/helm/ocaml/cic_omdoc/cic2acic.ml
@@ -109,7 +109,10 @@ let acic_of_cic_context' seed ids_to_terms ids_to_father_ids ids_to_inner_sorts
           C.Sort C.Prop  -> "Prop"
         | C.Sort C.Set   -> "Set"
         | C.Sort C.Type  -> "Type"
-	| C.Sort C.CProp -> "CProp"
+        | C.Sort C.CProp -> "CProp"
+        | C.Meta _       ->
+prerr_endline "Cic2acic: string_of_sort applied to a meta" ;
+           "?"
         | _              -> assert false
       in
        let ainnertypes,innertype,innersort,expected_available =