From 90f4de67b8cd1ac753d099100d4612cc3eabe4f1 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 8 Nov 2017 10:52:26 +0100
Subject: Fix jumptable issue.

Instead of using reset_constants use reset_literals which avoids
emptying the jumptables.
Bug 22525
---
 x86/TargetPrinter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'x86/TargetPrinter.ml')

diff --git a/x86/TargetPrinter.ml b/x86/TargetPrinter.ml
index 52c2de49..b685c4cb 100644
--- a/x86/TargetPrinter.ml
+++ b/x86/TargetPrinter.ml
@@ -878,7 +878,7 @@ module Target(System: SYSTEM):TARGET =
          print_align oc 8;
          Hashtbl.iter (print_literal64 oc) literal64_labels;
          Hashtbl.iter (print_literal32 oc) literal32_labels;
-         reset_constants ()
+         reset_literals ()
        end
 
     let cfi_startproc = cfi_startproc
-- 
cgit