From 09ebc4ffc4fa22e04e89f47d2f860cc831d6c23c Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Wed, 28 Nov 2018 13:16:54 +0100
Subject: compilation Asmexpandaux both for x86/ and mppa_k1c/

---
 backend/Asmexpandaux.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'backend/Asmexpandaux.ml')

diff --git a/backend/Asmexpandaux.ml b/backend/Asmexpandaux.ml
index f5c76925..b1d822db 100644
--- a/backend/Asmexpandaux.ml
+++ b/backend/Asmexpandaux.ml
@@ -15,6 +15,7 @@
    pseudo-instructions *)
 
 open Asm
+open Asmaux
 open AST
 open Camlcoq
 
@@ -26,7 +27,10 @@ let emit i = current_code := i :: !current_code
 
 (* Generation of fresh labels *)
 
+(* now imported from Asmaux.ml
 let dummy_function = { fn_code = []; fn_sig = signature_main }
+*)
+  
 let current_function = ref dummy_function
 let next_label = ref (None: label option)
 
-- 
cgit