Merge pull request #492 from chambart/fix_dflambda

Fix -dflambda argument
2016-03-05 09:26:21 -05:00 · 2016-03-05 09:26:21 -05:00 · ab8fc91e29
parent 5dbea030d1
commit ab8fc91e29
1 changed files with 1 additions and 1 deletions
--- a/middle_end/middle_end.ml
+++ b/middle_end/middle_end.ml
@ -173,7 +173,7 @@ let middle_end ppf ~source_provenance ~prefixname ~backend
            (Warnings.Inlining_impossible "[@unroll] attribute was not \
              used on this function application (the optimizer did not \
              know what function was being applied)"));
-    if !Clflags.dump_rawflambda
+    if !Clflags.dump_flambda
    then
      Format.fprintf ppf "End of middle end:@ %a@."
        Flambda.print_program flam;