From 2e3d1cdfde3e19af97e0d0fa47f92cfd66c688d9 Mon Sep 17 00:00:00 2001
From: Aymeric Fromherz
Date: Fri, 31 May 2024 14:25:23 +0200
Subject: Regenerate tests

---
 tests/coq/hashmap_on_disk/HashmapMain_Funs.v |  2 +-
 tests/coq/hashmap_on_disk/_CoqProject        | 12 ++++++------
 2 files changed, 7 insertions(+), 7 deletions(-)

(limited to 'tests/coq/hashmap_on_disk')

diff --git a/tests/coq/hashmap_on_disk/HashmapMain_Funs.v b/tests/coq/hashmap_on_disk/HashmapMain_Funs.v
index fd7f7f16..facd84ea 100644
--- a/tests/coq/hashmap_on_disk/HashmapMain_Funs.v
+++ b/tests/coq/hashmap_on_disk/HashmapMain_Funs.v
@@ -225,7 +225,7 @@ Definition hashmap_HashMap_move_elements_from_list
 Fixpoint hashmap_HashMap_move_elements_loop
   (T : Type) (n : nat) (ntable : hashmap_HashMap_t T)
   (slots : alloc_vec_Vec (hashmap_List_t T)) (i : usize) :
-  result ((alloc_vec_Vec (hashmap_List_t T)) * (hashmap_HashMap_t T))
+  result ((hashmap_HashMap_t T) * (alloc_vec_Vec (hashmap_List_t T)))
   :=
   match n with
   | O => Fail_ OutOfFuel
diff --git a/tests/coq/hashmap_on_disk/_CoqProject b/tests/coq/hashmap_on_disk/_CoqProject
index d73541d9..837bbbaf 100644
--- a/tests/coq/hashmap_on_disk/_CoqProject
+++ b/tests/coq/hashmap_on_disk/_CoqProject
@@ -3,10 +3,10 @@
 -arg -w
 -arg all
 
-HashmapMain_Types.v
-HashmapMain_FunsExternal_Template.v
+HashmapMain_Funs.v 
+HashmapMain_FunsExternal.v 
+HashmapMain_FunsExternal_Template.v 
+HashmapMain_Types.v 
+HashmapMain_TypesExternal.v 
+HashmapMain_TypesExternal_Template.v 
 Primitives.v
-HashmapMain_Funs.v
-HashmapMain_TypesExternal.v
-HashmapMain_FunsExternal.v
-HashmapMain_TypesExternal_Template.v
-- 
cgit v1.2.3