diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-01 17:09:41 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-01 17:09:41 +0200 |
commit | efd453afac8fcfb741f06166af0379ec8178650f (patch) | |
tree | 7bbffab098626ec2cf9204ea2e7940a8bd1125b0 /powerpc/Asmexpand.ml | |
parent | 886f5550616272d899745d62ec3076fb63a71054 (diff) | |
download | compcert-efd453afac8fcfb741f06166af0379ec8178650f.tar.gz compcert-efd453afac8fcfb741f06166af0379ec8178650f.zip |
Removed the debug output for the debug information.
Diffstat (limited to 'powerpc/Asmexpand.ml')
-rw-r--r-- | powerpc/Asmexpand.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml index 16d6326e..a2cfb136 100644 --- a/powerpc/Asmexpand.ml +++ b/powerpc/Asmexpand.ml @@ -705,11 +705,10 @@ let expand_instruction id l = Debug.function_end id lbl | (Pbuiltin(EF_debug (kind,txt,_x),args,_) as i)::rest -> let kind = (P.to_int kind) in - emit i; begin match kind with | 1-> - aux lbl scopes rest + emit i;aux lbl scopes rest | 2 -> aux lbl scopes rest | 3 -> |