X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2FtermContentPres.ml;h=9fa2bf4e0baf9fdaa881b0a3ac52b47e2c07fb17;hb=926bd86002f91d2bf2a3ce7376309f5106268959;hp=84f4a2f7272bd5636f5fb0663ec071ea128cfad4;hpb=66be8fbe19e2ccfa0e6a7abeba605152d1322595;p=helm.git

diff --git a/matita/components/content_pres/termContentPres.ml b/matita/components/content_pres/termContentPres.ml
index 84f4a2f72..9fa2bf4e0 100644
--- a/matita/components/content_pres/termContentPres.ml
+++ b/matita/components/content_pres/termContentPres.ml
@@ -326,7 +326,7 @@ class virtual status =
    method content_pres_db = content_pres_db
    method set_content_pres_db v = {< content_pres_db = v >}
    method set_content_pres_status
-    : 'status. #g_status as 'status -> 'self
+    : 'status. (#g_status as 'status) -> 'self
     = fun o -> {< content_pres_db = o#content_pres_db >}
  end