From 49117ba254679f98938223711810191c3f7d788f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 27 Oct 2023 13:34:03 +0200
Subject: Regenerate the Coq test files

---
 backends/coq/Primitives.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backends/coq')

diff --git a/backends/coq/Primitives.v b/backends/coq/Primitives.v
index 8e0e973d..85e38f01 100644
--- a/backends/coq/Primitives.v
+++ b/backends/coq/Primitives.v
@@ -499,7 +499,7 @@ Qed.
 Axiom mk_array : forall (T : Type) (n : usize) (l : list T), array T n.
 
 (* For initialization *)
-Axiom array_repeat : forall {T : Type} (n : usize) (x : T), array T n.
+Axiom array_repeat : forall (T : Type) (n : usize) (x : T), array T n.
 
 Axiom array_index_usize : forall (T : Type) (n : usize) (x : array T n) (i : usize), result T.
 Axiom array_update_usize : forall (T : Type) (n : usize) (x : array T n) (i : usize) (nx : T), result (array T n).
-- 
cgit v1.2.3