1 files changed, 1 insertions, 1 deletions
diff --git a/Init.v b/Init.v
index 0f0b4636d8..322f275346 100644
--- a/Init.v
+++ b/Init.v
@@ -20,7 +20,7 @@ Ltac2 Type evar.
 Ltac2 Type constr.
 Ltac2 Type ident.
 Ltac2 Type message.
-Ltac2 Type exn.
+Ltac2 Type exn := [ .. ].
 Ltac2 Type 'a array.
 
 (** Pervasive types *)