From b3be8ee41041a90005740cfa106109e0c83db13f Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Fri, 20 May 2011 09:59:53 +0000
Subject: [PATCH] Compilation fix

---
 matitaB/matita/.depend                 | 6 ++++--
 matitaB/matita/applyTransformation.ml  | 2 +-
 matitaB/matita/applyTransformation.mli | 2 +-
 matitaB/matita/cicMathView.ml          | 4 ++--
 4 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/matitaB/matita/.depend b/matitaB/matita/.depend
index 83c43b74d..edf516bdc 100644
--- 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 f99c67f8b..a911742b0 100644
--- 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 d5886abd8..0aeec3f8c 100644
--- 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 685324580..9f1a00458 100644
--- 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));
-- 
2.39.2