La grammaire attribuée a été corrigée comme suit :

• VarDecl : le type du nouveau symbole a été corrigé (il est de type tt et non te),
• While : la contrainte te = Type.UNIT a été supprimée,
• Assign : la contrainte sym.isVariable() a été ajoutée.