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.
---
 arm/Asmexpand.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'arm/Asmexpand.ml')

diff --git a/arm/Asmexpand.ml b/arm/Asmexpand.ml
index 5415f78e..47269f8f 100644
--- a/arm/Asmexpand.ml
+++ b/arm/Asmexpand.ml
@@ -440,4 +440,4 @@ let expand_fundef id = function
       Errors.OK (External ef)
 
 let expand_program (p: Asm.program) : Asm.program Errors.res =
-  AST.transform_partial_ident_program expand_fundef p
+  AST.transform_partial_program2 expand_fundef (fun id v -> Errors.OK v) p
-- 
cgit