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

[helm.git] / matitaB / components / ng_kernel / nCicEnvironment.ml

diff --git a/matitaB/components/ng_kernel/nCicEnvironment.ml b/matitaB/components/ng_kernel/nCicEnvironment.ml
index c7389f16761b4d64579a9a3afb013378b3f790e7..1b155a030ad1657c1ad54a8d080bc866c8f4d0a0 100644 (file)
--- a/matitaB/components/ng_kernel/nCicEnvironment.ml
+++ b/matitaB/components/ng_kernel/nCicEnvironment.ml
@@ -24,7 +24,7 @@ let cache = NUri.UriHash.create 313;;
 let history = ref [];;
 let frozen_list = ref [];;
 
-let get_obj = ref (fun _ _ -> assert false);;
+let get_obj = ref (fun _ _ -> assert false) ;;
 let set_get_obj = (:=) get_obj;;
 
 module F = Format