Multi-user matita: changed the status object to include a ``user'' method

[helm.git] / matitaB / matita / matitaScript.ml

diff --git a/matitaB/matita/matitaScript.ml b/matitaB/matita/matitaScript.ml
index 5b794a6d830b8d9c0c1690faa9578388c94699ca..69859470fb6e6500ddae95b728af85541b497381 100644 (file)
--- a/matitaB/matita/matitaScript.ml
+++ b/matitaB/matita/matitaScript.ml
@@ -245,7 +245,8 @@ let source_buffer = source_view#source_buffer in
 let similarsymbols_tag_name = "similarsymbolos" in
 let similarsymbols_tag = `NAME similarsymbols_tag_name in
 let initial_statuses current baseuri =
- let status = new MatitaEngine.status baseuri in
+(* FIXME : currently hard coded to single user mode *)
+ let status = new MatitaEngine.status None baseuri in
  (match current with
      Some current ->
       NCicLibrary.time_travel status;