From 5631ccb7c416bb7ecbe7920cb432a78436c0a7ac Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Mon, 26 Nov 2018 17:35:31 +0100
Subject: BROKEN - works for x86, not for k1 anymore

---
 extraction/extraction.v | 1 -
 1 file changed, 1 deletion(-)

(limited to 'extraction')

diff --git a/extraction/extraction.v b/extraction/extraction.v
index 6ab2ce3a..a47a7237 100644
--- a/extraction/extraction.v
+++ b/extraction/extraction.v
@@ -167,7 +167,6 @@ Set Extraction AccessOpaque.
 Cd "extraction".
 
 Separate Extraction
-   Asm.dummy_function Asmgen.addptrofs Asmgen.storeind_ptr
    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