From b1a7b024933140296c7f995d20ef840687949771 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 17 Aug 2015 11:25:52 +0200
Subject: Update clightgen w.r.t. teh calling_conventions record (new field
 cc_unproto).

---
 exportclight/ExportClight.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'exportclight')

diff --git a/exportclight/ExportClight.ml b/exportclight/ExportClight.ml
index 9f8d596c..9563d551 100644
--- a/exportclight/ExportClight.ml
+++ b/exportclight/ExportClight.ml
@@ -206,7 +206,8 @@ and typlist p = function
 and callconv p cc =
   if cc = cc_default
   then fprintf p "cc_default"
-  else fprintf p "{|cc_vararg:=%b; cc_structret:=%b|}" cc.cc_vararg cc.cc_structret
+  else fprintf p "{|cc_vararg:=%b; cc_unproto:=%b; cc_structret:=%b|}"
+                  cc.cc_vararg cc.cc_unproto cc.cc_structret
 
 (* External functions *)
 
-- 
cgit