diff options
author | Ally Donaldson <unknown> | 2013-07-22 19:12:40 +0100 |
---|---|---|
committer | Ally Donaldson <unknown> | 2013-07-22 19:12:40 +0100 |
commit | eea0a9e74d6782d08f8dd01c0e1dbec15f1a02cb (patch) | |
tree | 26b5693006a283d80fb47507263e404c282ae2ef /Source/VCGeneration/FixedpointVC.cs | |
parent | 62d2fa72d5e1816d6cb1239063302808424c6d13 (diff) |
More refactoring
Diffstat (limited to 'Source/VCGeneration/FixedpointVC.cs')
-rw-r--r-- | Source/VCGeneration/FixedpointVC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/FixedpointVC.cs b/Source/VCGeneration/FixedpointVC.cs index ac7ee9be..b4080e2c 100644 --- a/Source/VCGeneration/FixedpointVC.cs +++ b/Source/VCGeneration/FixedpointVC.cs @@ -643,7 +643,7 @@ namespace Microsoft.Boogie var proc = decl as Procedure;
if (proc == null) continue;
if (!proc.Name.StartsWith(recordProcName)) continue;
- Contract.Assert(proc.InParams.Length == 1);
+ Contract.Assert(proc.InParams.Count == 1);
// Make a new function
TypedIdent ti = new TypedIdent(Token.NoToken, "", Microsoft.Boogie.Type.Bool);
|