From a6280c774192c6ca499fdee0d1d361dbe777fc5c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 19 Jun 2003 17:34:35 +0000 Subject: [PATCH] Reindented --- helm/ocaml/mathql_generator/mQueryGenerator.mli | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 -- 2.39.2