Compilation fix

diff --git a/matitaB/matita/.depend b/matitaB/matita/.depend
index 83c43b74d5e4f9e474406b0adc346b68cf53875d..edf516bdce980730433cd6eca47d52e3e87a015f 100644 (file)
--- a/matitaB/matita/.depend
+++ b/matitaB/matita/.depend
@@ -12,8 +12,10 @@ matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi
 matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi 
 matitac.cmo: matitaclean.cmi matitaMisc.cmi matitaInit.cmi matitaEngine.cmi 
 matitac.cmx: matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaEngine.cmx 
-matitadaemon.cmo: matitaInit.cmi matitaGtkMisc.cmi matitaEngine.cmi 
-matitadaemon.cmx: matitaInit.cmx matitaGtkMisc.cmx matitaEngine.cmx 
+matitadaemon.cmo: matitaInit.cmi matitaGtkMisc.cmi matitaEngine.cmi \
+    applyTransformation.cmi 
+matitadaemon.cmx: matitaInit.cmx matitaGtkMisc.cmx matitaEngine.cmx \
+    applyTransformation.cmx 
 matitaEngine.cmo: applyTransformation.cmi matitaEngine.cmi 
 matitaEngine.cmx: applyTransformation.cmx matitaEngine.cmi 
 matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi 

diff --git a/matitaB/matita/applyTransformation.ml b/matitaB/matita/applyTransformation.ml
index f99c67f8b1ab6161d2b48c4c949d7779eab9ac29..a911742b05e980b810aaf8f7b74db4078ea197a3 100644 (file)
--- a/matitaB/matita/applyTransformation.ml
+++ b/matitaB/matita/applyTransformation.ml
@@ -101,7 +101,7 @@ class status =
   method ppmetasenv ~subst metasenv =
    String.concat "\n"
     (List.map
-      (fun m -> ntxt_of_cic_sequent ~map_unicode_to_tex:true 80 self
+      (fun m -> ntxt_of_cic_sequent ~map_unicode_to_tex:true 20 self
         ~metasenv ~subst m) metasenv)
 (*
   method ppobj obj =

diff --git a/matitaB/matita/applyTransformation.mli b/matitaB/matita/applyTransformation.mli
index d5886abd8a7e8b82aff0fae35b121264238560d4..0aeec3f8cfed93922d74d03a7886f795e01853c9 100644 (file)
--- a/matitaB/matita/applyTransformation.mli
+++ b/matitaB/matita/applyTransformation.mli
@@ -39,7 +39,7 @@ class status :
  object
   inherit NCic.cstatus
   inherit Interpretations.status
-  inherit TermContentPres.status
+  inherit TermContentPres.status 
  end
 
 val ntxt_of_cic_sequent:

diff --git a/matitaB/matita/cicMathView.ml b/matitaB/matita/cicMathView.ml
index 685324580dca09012135aec314f655889b296457..9f1a004584017252026ddc9972bf50a805f93b26 100644 (file)
--- a/matitaB/matita/cicMathView.ml
+++ b/matitaB/matita/cicMathView.ml
@@ -637,7 +637,7 @@ object (self)
     let sequent = List.assoc metano metasenv in
     let txt =
      ApplyTransformation.ntxt_of_cic_sequent
-      ~map_unicode_to_tex:false 80 status ~metasenv ~subst (metano,sequent)
+      ~map_unicode_to_tex:false 20 status ~metasenv ~subst (metano,sequent)
     in
     (* MATITA 1.0 if BuildTimeConf.debug then begin
       let name =
@@ -651,7 +651,7 @@ object (self)
    'status. #ApplyTransformation.status as 'status -> NCic.obj -> unit
    = fun status obj ->
     let txt = ApplyTransformation.ntxt_of_cic_object ~map_unicode_to_tex:false
-    80 status obj in
+    20 status obj in
 (*
     self#set_cic_info
       (Some (None, ids_to_terms, ids_to_hypotheses, ids_to_father_ids, ids_to_inner_types, Some annobj));