From 33b742bb41725e47bd88dc12f2a4f40173023f83 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 27 Mar 2015 14:24:03 +0100
Subject: Updated the Caml part.  Added some more tests in annot1.c.

---
 backend/XTL.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backend/XTL.mli')

diff --git a/backend/XTL.mli b/backend/XTL.mli
index 75a3d657..9794565c 100644
--- a/backend/XTL.mli
+++ b/backend/XTL.mli
@@ -36,6 +36,7 @@ type instruction =
   | Xcall of signature * (var, ident) sum * var list * var list
   | Xtailcall of signature * (var, ident) sum * var list
   | Xbuiltin of external_function * var list * var list
+  | Xannot of external_function * var annot_arg list
   | Xbranch of node
   | Xcond of condition * var list * node * node
   | Xjumptable of var * node list
-- 
cgit