From 2b5f5cb0bb6d8dbf302ab6d84c27eda30252912d Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sun, 6 Mar 2016 10:23:18 +0100
Subject: Add support for EF_runtime externals

Also: in Events, use Senv.equiv to state invariance wrt changes of global envs.
---
 cfrontend/PrintClight.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cfrontend/PrintClight.ml')

diff --git a/cfrontend/PrintClight.ml b/cfrontend/PrintClight.ml
index ed19e178..42892901 100644
--- a/cfrontend/PrintClight.ml
+++ b/cfrontend/PrintClight.ml
@@ -258,7 +258,7 @@ let print_function p id f =
 
 let print_fundef p id fd =
   match fd with
-  | External(EF_external(_,_), args, res, cconv) ->
+  | External((EF_external _ | EF_runtime _), args, res, cconv) ->
       fprintf p "extern %s;@ @ "
                 (name_cdecl (extern_atom id) (Tfunction(args, res, cconv)))
   | External(_, _, _, _) ->
-- 
cgit