diff options
| -rw-r--r-- | Source/Core/AbsyCmd.cs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index b37ed400..3005aaa6 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -2632,10 +2632,13 @@ namespace Microsoft.Boogie { }
public override void Typecheck(TypecheckingContext tc) {
//Contract.Requires(tc != null);
+ foreach (IdentifierExpr ie in Vars)
+ {
+ ie.Typecheck(tc);
+ }
this.CheckAssignments(tc);
}
-
public override Absy StdDispatch(StandardVisitor visitor) {
//Contract.Requires(visitor != null);
Contract.Ensures(Contract.Result<Absy>() != null);
|