X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_engine%2FgrafiteSync.ml;h=b024811116ba011ee1ffd618515e214c27d0fa61;hb=fa0347cc0a604ba8743da9479117e1f13ab60482;hp=ca3d873c5f563dd4917736b49a98a7d17ba058f1;hpb=e5141edaab98baafa31173da8164fa5d87b808c5;p=helm.git

diff --git a/components/grafite_engine/grafiteSync.ml b/components/grafite_engine/grafiteSync.ml
index ca3d873c5..b02481111 100644
--- a/components/grafite_engine/grafiteSync.ml
+++ b/components/grafite_engine/grafiteSync.ml
@@ -139,7 +139,7 @@ let init baseuri =
   {
     GrafiteTypes.moo_content_rev = [];
     proof_status = GrafiteTypes.No_proof;
-    options = GrafiteTypes.no_options;
+(*     options = GrafiteTypes.no_options; *)
     objects = [];
     coercions = [];
     universe = Universe.empty;