From d870e17a7a964b48d8e44195ccd12e4160a63f32 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Thu, 6 Sep 2018 11:43:28 +0200
Subject: Extraction issue

---
 extraction/extraction.v | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'extraction')

diff --git a/extraction/extraction.v b/extraction/extraction.v
index 8ac776ef..9b124a10 100644
--- a/extraction/extraction.v
+++ b/extraction/extraction.v
@@ -167,7 +167,8 @@ Set Extraction AccessOpaque.
 Cd "extraction".
 
 Separate Extraction
-   Asmgen.addptrofs
+(*   Asmgen.addptrofs *)
+   Asm.dummy_function
    Compiler.transf_c_program Compiler.transf_cminor_program
    Cexec.do_initial_state Cexec.do_step Cexec.at_final_state
    Ctypes.merge_attributes Ctypes.remove_attributes Ctypes.build_composite_env
-- 
cgit