From 36be538c1c3e5cbbbd45d9b2a8b8bb9712a21dd0 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Thu, 6 Sep 2018 15:56:36 +0200
Subject: Asmblock & cie - ça compile
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 extraction/extraction.v | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'extraction')

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