X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FcGMatchConclusion.ml;h=4f739763a6b9b96b58f2332c7eba71600eafdb12;hb=3ac183ee3dd4eea25d61bd4c5be4f7db9f829a7e;hp=9f1f6451218ca6ab4a92f65d949ee3859ced4f5b;hpb=775e2dbe1ee2f56bb3947e1ff85401a7c6c13b4d;p=helm.git

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)
-*)