commit by user andrea

[helm.git] / weblib / While / syntax.ma

diff --git a/weblib/While/syntax.ma b/weblib/While/syntax.ma
index b55d89d438b7f238f013830fed30b36d9765bb4f..95c93c7e4984816df4948c930c68aa84152dc5e6 100644 (file)
--- a/weblib/While/syntax.ma
+++ b/weblib/While/syntax.ma
@@ -7,7 +7,7 @@ include "arithmetics/nat.ma".
 
 (* Variables *)
 
-inductive Var : Type[0] ≝
+ inductive Var : Type[0] ≝
   Id : nat → Var.
  
 (* Arithmetic expressions *)