From 19f34a049b8c8008e2566e32932fdf262d15b0ea Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 2 Jun 2015 15:09:24 +0100
Subject: Fix errors around ARM not being able to decode due to
 instruction_extractor being very power-specific. Note: slight interface
 change to instruction_extractor

---
 src/pretty_print.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/pretty_print.ml')

diff --git a/src/pretty_print.ml b/src/pretty_print.ml
index 3f167ffc..25a9f41b 100644
--- a/src/pretty_print.ml
+++ b/src/pretty_print.ml
@@ -289,7 +289,7 @@ let pp_format_tag = function
   | External None -> "(Tag_extern Nothing)"
   | Default -> "Tag_default"
   | Constructor -> "Tag_ctor"
-  | Enum -> "Tag_enum"
+  | Enum i -> "(Tag_enum " ^ (lemnum string_of_int i) ^ ")"
   | Alias -> "Tag_alias"
   | Spec -> "Tag_spec"
 
-- 
cgit v1.2.3