From 3e070cae6a316b7e3363c8159096c3bbc4bf21b2 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 25 Sep 2015 21:12:48 +0200
Subject: Added translation of the range lists to location entries.

---
 powerpc/Asmexpand.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'powerpc/Asmexpand.ml')

diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml
index d44f709e..b40a9e53 100644
--- a/powerpc/Asmexpand.ml
+++ b/powerpc/Asmexpand.ml
@@ -683,7 +683,7 @@ let expand_instruction id l =
               let lbl = get_lbl lbl in
               let scopes' = List.map (function BA_int x -> Int32.to_int (camlint_of_coqint x) | _ -> assert false) args in
               expand_scope id lbl scopes scopes';
-              emit i;aux (Some lbl) scopes' rest
+              aux (Some lbl) scopes' rest
           | _ ->
               emit i; aux None scopes rest
         end
-- 
cgit