X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_engine%2FgrafiteSync.mli;h=fbe1fc8dbb557b6093590508055e834d6915a94b;hb=5356519d50425dfca5b42ad5faeb2181d4240c78;hp=0a2595430462e88341e9cfeb3c458165fb695fcf;hpb=35a06fa8d6c2664301b59e77dcbff5bcfd4a5091;p=helm.git

diff --git a/components/grafite_engine/grafiteSync.mli b/components/grafite_engine/grafiteSync.mli
index 0a2595430..fbe1fc8db 100644
--- a/components/grafite_engine/grafiteSync.mli
+++ b/components/grafite_engine/grafiteSync.mli
@@ -40,4 +40,4 @@ val time_travel:
   present:GrafiteTypes.status -> past:GrafiteTypes.status -> unit
 
   (* also resets the imperative part of the status *)
-val init: unit -> GrafiteTypes.status
+val init: string -> GrafiteTypes.status