_

CatalaLang · Feb 20, 2024 · f4cdad1 · f4cdad1
1 parent eca33d7
commit f4cdad1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/theories/syntax.v b/theories/syntax.v
@@ -45,6 +45,7 @@ with value :=
   | VPure (v: value)
 .
 
+
 Require Import Autosubst_FreeVars.
 #[export] Instance Ids_term : Ids term. derive. Defined.
 #[export] Instance Idslemmas_term : IdsLemmas term.