Fixed name

2010-07-15 09:27:59 +02:00 · 2010-07-15 09:27:59 +02:00 · 1c55689b18
commit 1c55689b18
parent a188952ef6
1 changed files with 1 additions and 1 deletions
--- a/compiler/heptagon/transformations/reset_mapfold.ml
+++ b/compiler/heptagon/transformations/reset_mapfold.ml
@ -182,7 +182,7 @@ let node funs _ n =
    { n with n_local = v @ n.n_local; n_equs = eq_list; }, (None, [], [])

 let program p =
-  let funs = { Hept_mapfold.hept_funs_default with
+  let funs = { Hept_mapfold.defaults with
                 eq = eq; node_dec = node; edesc = edesc } in
  let p, _ = program_it funs (None, [], []) p in
    p