From 241da496839a9101e843ce7b1da4a668f998498a Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Mon, 2 Nov 2020 17:13:50 +0100
Subject: Preparation for postpass in aarch64 and refactoring

---
 aarch64/Asmblock.v | 1 +
 1 file changed, 1 insertion(+)

(limited to 'aarch64/Asmblock.v')

diff --git a/aarch64/Asmblock.v b/aarch64/Asmblock.v
index 96162f9e..ddd58223 100644
--- a/aarch64/Asmblock.v
+++ b/aarch64/Asmblock.v
@@ -36,6 +36,7 @@ Require Import Values Memory Events Globalenvs Smallstep.
 Require Import Locations Conventions.
 Require Stacklayout.
 Require Import OptionMonad Asm.
+Require Export Asm.
 
 Local Open Scope option_monad_scope.
 
-- 
cgit