- procedural: bugfix in "Barendregt convention" test

[helm.git] / helm / software / components / acic_procedural / proceduralHelpers.mli

diff --git a/helm/software/components/acic_procedural/proceduralHelpers.mli b/helm/software/components/acic_procedural/proceduralHelpers.mli
index 6d4ef50da0bae3a7a135f9af1397644e1ca357cc..358012c8765de46f551660d0fca12e62cccfc463 100644 (file)
--- a/helm/software/components/acic_procedural/proceduralHelpers.mli
+++ b/helm/software/components/acic_procedural/proceduralHelpers.mli
@@ -24,7 +24,7 @@
  *)
 
 val mk_fresh_name:
-   Cic.context -> Cic.name -> Cic.name
+   bool -> Cic.context -> Cic.name -> Cic.name
 val list_fold_right_cps:
    ('b -> 'c) -> (('b -> 'c) -> 'a -> 'b -> 'c) -> 'a list -> 'b -> 'c
 val list_fold_left_cps: