X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2FWhile%2Fsyntax.ma;h=95c93c7e4984816df4948c930c68aa84152dc5e6;hb=e0671ce496760cec78ec904747af76ed55fd03a2;hp=b55d89d438b7f238f013830fed30b36d9765bb4f;hpb=2f389dbce69245089a3b7a7a63832ac5e5773363;p=helm.git

diff --git a/weblib/While/syntax.ma b/weblib/While/syntax.ma
index b55d89d43..95c93c7e4 100644
--- 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 *)