From 500ef9344e0f80ad0c14806e02130ed26da0704a Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 6 Apr 2015 11:37:13 +0200
Subject: Missing case for the new 'annot' instruction.

---
 backend/PrintXTL.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'backend/PrintXTL.ml')

diff --git a/backend/PrintXTL.ml b/backend/PrintXTL.ml
index 08ccf129..b9813db0 100644
--- a/backend/PrintXTL.ml
+++ b/backend/PrintXTL.ml
@@ -102,6 +102,9 @@ let print_instruction pp succ = function
   | Xbuiltin(ef, args, res) ->
       fprintf pp "%a = %s(%a)"
         vars res (name_of_external ef) vars args
+  | Xannot(ef, args) ->
+      fprintf pp "%s(%a)"
+        (name_of_external ef) (print_annot_args var) args
   | Xbranch s ->
       print_succ pp s succ
   | Xcond(cond, args, s1, s2) ->
-- 
cgit