From 49ffc966cfdbd71f8c83a3c72ab81e1bb101f420 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 9 Nov 2023 16:24:07 +0100
Subject: Regenerate the Coq test files

---
 tests/coq/betree/BetreeMain_Types.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests/coq/betree')

diff --git a/tests/coq/betree/BetreeMain_Types.v b/tests/coq/betree/BetreeMain_Types.v
index ee26622e..933a670c 100644
--- a/tests/coq/betree/BetreeMain_Types.v
+++ b/tests/coq/betree/BetreeMain_Types.v
@@ -14,8 +14,8 @@ Inductive betree_List_t (T : Type) :=
 | Betree_List_Nil : betree_List_t T
 .
 
-Arguments Betree_List_Cons {T} _ _.
-Arguments Betree_List_Nil {T}.
+Arguments Betree_List_Cons { _ }.
+Arguments Betree_List_Nil { _ }.
 
 (** [betree_main::betree::UpsertFunState] *)
 Inductive betree_UpsertFunState_t :=
-- 
cgit v1.2.3