Reindentation.

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index 625f43f5b2136df6d9ae096837dce26e54578428..d79e6ebd4cd757c2028c1f8fb796f69b661cc68b 100644 (file)
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -281,15 +281,15 @@ let callback (req: Http_types.request) outchan =
         let mqi_handle = C.init mqi_flags debug_print in
         let id = req#param "id" in
         let query = G.locate id in
-       let result = MQueryInterpreter.execute mqi_handle query in
+        let result = MQueryInterpreter.execute mqi_handle query in
              C.close mqi_handle;
         Http_daemon.respond ~headers:[contype] ~body:(pp_result result) outchan
     | "/unreferred" ->
         let mqi_handle = C.init mqi_flags debug_print in
         let target = req#param "target" in
         let source = req#param "source" in
-       let query = G.unreferred target source in
-       let result = MQueryInterpreter.execute mqi_handle query in
+        let query = G.unreferred target source in
+        let result = MQueryInterpreter.execute mqi_handle query in
              C.close mqi_handle;
         Http_daemon.respond ~headers:[contype] ~body:(pp_result result) outchan
     | "/getpage" ->