From 1b5db339bb05f773a6a132be4c0b8cea54d50461 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 17 Apr 2015 16:30:43 +0200
Subject: Experiment: support a subset of GCC's extended asm statements.

---
 driver/Interp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'driver/Interp.ml')

diff --git a/driver/Interp.ml b/driver/Interp.ml
index 2725dbfe..b16d2cae 100644
--- a/driver/Interp.ml
+++ b/driver/Interp.ml
@@ -397,7 +397,7 @@ let do_external_function id sg ge w args m =
   | _ ->
       None
 
-let do_inline_assembly txt ge w args m = None
+let do_inline_assembly txt sg ge w args m = None
 
 (* Implementing external functions producing observable events *)
 
-- 
cgit