Use of standard OCaml syntax

[helm.git] / matita / components / content_pres / termContentPres.ml

diff --git a/matita/components/content_pres/termContentPres.ml b/matita/components/content_pres/termContentPres.ml
index 84f4a2f7272bd5636f5fb0663ec071ea128cfad4..9fa2bf4e0baf9fdaa881b0a3ac52b47e2c07fb17 100644 (file)
--- 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