diff options
| author |  wuestholz <unknown> | 2012-09-28 10:22:27 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2012-09-28 10:22:27 +0200 |
| commit | 17e06aebf154f3f98e1bae92ff1cf7dc3e0dfe70 (patch) | |
| tree | c65a3ecb40af31a08de2fc4e405aebd5eaaf3a9e /Source/Core/AbsyExpr.cs | |
| parent | 35d2a968b3fe15ca88c5b8dcf6047da434ab6ce2 (diff) | |
Fixed the build.
Diffstat (limited to 'Source/Core/AbsyExpr.cs')
| -rw-r--r-- | Source/Core/AbsyExpr.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs index 61511b33..ff84b501 100644 --- a/Source/Core/AbsyExpr.cs +++ b/Source/Core/AbsyExpr.cs @@ -2006,10 +2006,11 @@ namespace Microsoft.Boogie { public virtual Type Typecheck(ref ExprSeq args, out TypeParamInstantiation tpInstantiation, TypecheckingContext tc) {
//Contract.Requires(tc != null);
//Contract.Requires(args != null);
- Contract.Assert(args.Length == 1);
Contract.Ensures(args != null);
Contract.Ensures(Contract.ValueAtReturn(out tpInstantiation) != null);
+ Contract.Assert(args.Length == 1);
+
tpInstantiation = SimpleTypeParamInstantiation.EMPTY;
if (!cce.NonNull(cce.NonNull(args[0]).Type).Unify(argType)) {
|