From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 17 Jul 2003 14:02:53 +0000 (+0000)
Subject: dead code removed
X-Git-Tag: LucaOK~64
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3ac183ee3dd4eea25d61bd4c5be4f7db9f829a7e;p=helm.git

dead code removed
---

diff --git a/helm/ocaml/mathql_generator/cGMatchConclusion.ml b/helm/ocaml/mathql_generator/cGMatchConclusion.ml
index 9f1f64512..4f739763a 100644
--- a/helm/ocaml/mathql_generator/cGMatchConclusion.ml
+++ b/helm/ocaml/mathql_generator/cGMatchConclusion.ml
@@ -151,17 +151,3 @@ let get_constraints e c t =
 	 mk_musts (prev @ [acc]) acc next
    in
    mk_musts [] [] can   
-(*
-  let uri_pos (u,b,v) = (u,b) in
-  let can_use = List.map uri_pos can in
-  let lofl (u,b,v) = [(u,b)] in
-  let rec organize_restr rlist prev_r= 
-    match rlist with
-      [] -> []
-    | r::tl ->let curr_r = r@prev_r in
-                curr_r::(organize_restr tl curr_r)
-  in
-  let mrest = List.map lofl can in
-  let must_use = organize_restr mrest [] in (* must restrictions *)
-  (must_use,can_use)
-*)