From 7853ddf29773d42d41df7a915e1d19c9cfd98ac7 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 9 Nov 2023 13:52:31 +0100
Subject: Update the Makefile for the F* array test

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 19992442..78ddb87c 100644
--- a/Makefile
+++ b/Makefile
@@ -125,7 +125,7 @@ thol4-paper: SUBDIR := misc-paper
 
 test-array: OPTIONS +=
 test-array: SUBDIR := array
-tfstar-array: OPTIONS += -decreases-clauses -template-clauses
+tfstar-array: OPTIONS += -decreases-clauses -template-clauses -split-files
 tcoq-array: OPTIONS += -use-fuel
 tlean-array: SUBDIR :=
 tlean-array: OPTIONS +=
-- 
cgit v1.2.3