Reindented

diff --git a/helm/ocaml/mathql_generator/mQueryGenerator.mli b/helm/ocaml/mathql_generator/mQueryGenerator.mli
index c94dbcdb87809d376738b63caaf08bdb5c8f02a9..9229290e86511633095facbd8fb1f65979c096f1 100644 (file)
--- 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