X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FsearchEngine.ml;h=dcaee2466dc13a0c4a61c22d0de3ff1c5ee45d27;hb=c1edc2a802659d79c41590f1edb29845f4bcb63c;hp=afb274f460e07f008d746d2fee0be5ac3f8182c0;hpb=d747da7b7a32c08eb948f22ac505003a7adce2c4;p=helm.git

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index afb274f46..dcaee2466 100644
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -467,7 +467,7 @@ let callback dbd (req: Http_types.request) outchan =
 
 let restore_environment () =
   match
-    Helm_registry.get_opt Helm_registry.get "search_engine.environment_dump"
+    Helm_registry.get_opt Helm_registry.string "search_engine.environment_dump"
   with
   | None -> ()
   | Some fname ->