From 3ac183ee3dd4eea25d61bd4c5be4f7db9f829a7e Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 17 Jul 2003 14:02:53 +0000 Subject: [PATCH] dead code removed --- helm/ocaml/mathql_generator/cGMatchConclusion.ml | 14 -------------- 1 file changed, 14 deletions(-) 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) -*) -- 2.39.2