From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 19 Jun 2003 17:34:35 +0000 (+0000)
Subject: Reindented
X-Git-Tag: V7_3_new_exportation_merged~12
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=a6280c774192c6ca499fdee0d1d361dbe777fc5c

Reindented
---

diff --git a/helm/ocaml/mathql_generator/mQueryGenerator.mli b/helm/ocaml/mathql_generator/mQueryGenerator.mli
index c94dbcdb8..9229290e8 100644
--- a/helm/ocaml/mathql_generator/mQueryGenerator.mli
+++ b/helm/ocaml/mathql_generator/mQueryGenerator.mli
@@ -30,11 +30,11 @@ type sort = string
 
 type spec = MustObj  of uri list * position list * depth list
           | MustSort of sort list * position list * depth list
-	  | MustRel  of position list * depth list
-	  | OnlyObj  of uri list * position list * depth list
+          | MustRel  of position list * depth list
+          | OnlyObj  of uri list * position list * depth list
           | OnlySort of sort list * position list * depth list
-	  | OnlyRel  of position list * depth list
-	  | Universe of position list 
+          | OnlyRel  of position list * depth list
+          | Universe of position list 
 
 val locate  : string -> MathQL.query