From f3e16bb43a8ff27a5184d9fa452277cc6a59410f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 19 Mar 2024 05:29:29 +0100
Subject: Regenerate the tests

---
 tests/coq/hashmap_on_disk/_CoqProject | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/coq/hashmap_on_disk/_CoqProject')

diff --git a/tests/coq/hashmap_on_disk/_CoqProject b/tests/coq/hashmap_on_disk/_CoqProject
index 41945494..d73541d9 100644
--- a/tests/coq/hashmap_on_disk/_CoqProject
+++ b/tests/coq/hashmap_on_disk/_CoqProject
@@ -4,9 +4,9 @@
 -arg all
 
 HashmapMain_Types.v
+HashmapMain_FunsExternal_Template.v
 Primitives.v
 HashmapMain_Funs.v
 HashmapMain_TypesExternal.v
-HashmapMain_FunsExternal_Template.v
 HashmapMain_FunsExternal.v
 HashmapMain_TypesExternal_Template.v
-- 
cgit v1.2.3