From 713d5663a6c7b75eee9a9ae57cfecf8332e72be4 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Wed, 25 Nov 2020 17:23:12 +0100
Subject: Removing OrigAsmgen by moving the necessary functions in Asmgen.v

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

(limited to 'extraction')

diff --git a/extraction/extraction.v b/extraction/extraction.v
index f5b8291b..ffcebaaa 100644
--- a/extraction/extraction.v
+++ b/extraction/extraction.v
@@ -247,4 +247,6 @@ Separate Extraction
    Globalenvs.Senv.invert_symbol
    Parser.translation_unit_file
    Compopts.optim_postpass
-   Archi.has_notrap_loads.
+   Archi.has_notrap_loads
+   Asmgen.Asmgen_expand.loadimm32 Asmgen.Asmgen_expand.addimm64
+   Asmgen.Asmgen_expand.storeptr.
-- 
cgit