From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 17 Feb 2004 17:38:22 +0000 (+0000)
Subject: Reindentation.
X-Git-Tag: v0_0_4~169
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=19c358a092b3008f8a23b56e4b3c5844759d6868;p=helm.git

Reindentation.
---

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index 625f43f5b..d79e6ebd4 100644
--- 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" ->