From 4cd2895238205186a33c4bf7da490234e14d8396 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 6 Dec 2002 13:33:46 +0000 Subject: [PATCH] Comments removed. --- helm/gTopLevel/mQueryGenerator.mli | 6 ------ 1 file changed, 6 deletions(-) diff --git a/helm/gTopLevel/mQueryGenerator.mli b/helm/gTopLevel/mQueryGenerator.mli index 73cd77b19..b1db11142 100644 --- a/helm/gTopLevel/mQueryGenerator.mli +++ b/helm/gTopLevel/mQueryGenerator.mli @@ -44,12 +44,6 @@ type r_obj = (uri * position * depth) type r_rel = (position * depth) type r_sort = (position * depth * sort) -(* -type r_obj = (string * string * int option) -type r_rel = (string * int) -type r_sort = (string * int * string) -*) - type must_restrictions = (r_obj list * r_rel list * r_sort list) type only_restrictions = (r_obj list option * r_rel list option * r_sort list option) -- 2.39.2