From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 6 Dec 2002 13:33:46 +0000 (+0000)
Subject: Comments removed.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4cd2895238205186a33c4bf7da490234e14d8396;p=helm.git

Comments removed.
---

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)