GrafiteAstPp: \n's finally fixed

[helm.git] / components / acic_procedural / proceduralConversion.ml

diff --git a/components/acic_procedural/proceduralConversion.ml b/components/acic_procedural/proceduralConversion.ml
index 53898136940f369667b3625e126d5171690c61aa..80aae9e7f3668b83fcee3378d7cb148174b5c31c 100644 (file)
--- a/components/acic_procedural/proceduralConversion.ml
+++ b/components/acic_procedural/proceduralConversion.ml
@@ -115,7 +115,7 @@ let generalize n =
       | C.AMutConstruct (id, _, _, _, _)
       | C.AMeta (id, _, _) -> meta id
       | C.ARel (id, _, m, _) -> 
-         if m = succ (k - n) then hole id else meta id
+         if succ (k - n) <= m && m <= k then hole id else meta id
       | C.AAppl (id, ts) -> 
          let ts = List.map (gen_term k) ts in
          if is_meta ts then meta id else C.AAppl (id, ts)
@@ -139,6 +139,6 @@ let generalize n =
    in
    gen_term 0
 
-let mk_pattern rpsno predicate =
-   let body = generalize rpsno predicate in
-   clear_absts 0 rpsno body
+let mk_pattern psno predicate =
+   let body = generalize psno predicate in
+   clear_absts 0 psno body