diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-01-20 14:23:34 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-01-20 14:23:34 +0000 |
| commit | 4cfd2fc2a6536cfc1618ac2a9f08af417ae1a377 (patch) | |
| tree | 831257394faca8699881a5896d906df8536ac34a /asmcomp/liveness.ml | |
| parent | 7fe8c8ce6f10367ba2f4b399ff5ca6877efb0d3c (diff) | |
| download | ocaml-4cfd2fc2a6536cfc1618ac2a9f08af417ae1a377.tar.gz | |
Reverting bad commit.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12058 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/liveness.ml')
| -rw-r--r-- | asmcomp/liveness.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/liveness.ml b/asmcomp/liveness.ml index ded9e88c75..74a034fb39 100644 --- a/asmcomp/liveness.ml +++ b/asmcomp/liveness.ml @@ -110,11 +110,11 @@ let rec live i finally = i.live <- across; Reg.add_set_array across i.arg -let fundecl f = +let fundecl ppf f = let initially_live = live f.fun_body Reg.Set.empty in (* Sanity check: only function parameters can be live at entrypoint *) let wrong_live = Reg.Set.diff initially_live (Reg.set_of_array f.fun_args) in if not (Reg.Set.is_empty wrong_live) then begin - Format.eprintf "%a@." Printmach.regset wrong_live; + Format.fprintf ppf "%a@." Printmach.regset wrong_live; Misc.fatal_error "Liveness.fundecl" end |