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

(limited to 'powerpc/Asmexpand.ml')

diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml
index 7af27d20..dad19a6d 100644
--- a/powerpc/Asmexpand.ml
+++ b/powerpc/Asmexpand.ml
@@ -792,4 +792,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