X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2FcontentPp.ml;h=b51cba99d384c144fdc6861155063fdedb62964a;hp=3bc8bb306ae6cf0896e2d662ab9c516218856751;hb=c43f710f5e23e940114b1623329f650814e783af;hpb=a70ce8d5659ab5cd532317e206a30da878ff8a89

diff --git a/helm/ocaml/cic_omdoc/contentPp.ml b/helm/ocaml/cic_omdoc/contentPp.ml
index 3bc8bb306..b51cba99d 100644
--- a/helm/ocaml/cic_omdoc/contentPp.ml
+++ b/helm/ocaml/cic_omdoc/contentPp.ml
@@ -130,7 +130,7 @@ and pargs args indent =
 and parg indent =
   let module Con = Content in
   function
-       Con.Aux n ->  prerr_endline ((blanks (indent+1)) ^ (string_of_int n));flush stderr
+       Con.Aux n ->  prerr_endline ((blanks (indent+1)) ^ n);flush stderr
     |  Con.Premise prem -> prerr_endline ((blanks (indent+1)) ^ "Premise");flush stderr
     | Con.Term t -> 
         prerr_endline ((blanks (indent+1)) ^ (CicPp.ppterm (Deannotate.deannotate_term t)));