From e415240e8811e12057b06155aa38b2bb39503352 Mon Sep 17 00:00:00 2001
From: pes20
Date: Tue, 20 Aug 2019 09:49:39 +0100
Subject: add -coq_alt_modules option to override the default imported modules

---
 aarch64_small/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'aarch64_small')

diff --git a/aarch64_small/Makefile b/aarch64_small/Makefile
index 2e7c1a7b..e08e51b6 100644
--- a/aarch64_small/Makefile
+++ b/aarch64_small/Makefile
@@ -1,4 +1,4 @@
-SAIL:=../sail -Ofast_undefined
+SAIL:=sail -Ofast_undefined
 LEM:=../../lem/lem
 LEM_ISA_LIB?=$(shell opam config var lem:share)/isabelle-lib
 
-- 
cgit v1.2.3