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/StratifiedVC.cs | |
| parent | 62d2fa72d5e1816d6cb1239063302808424c6d13 (diff) | |
More refactoring
Diffstat (limited to 'Source/VCGeneration/StratifiedVC.cs')
| -rw-r--r-- | Source/VCGeneration/StratifiedVC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs index c5d88c5c..5848e63b 100644 --- a/Source/VCGeneration/StratifiedVC.cs +++ b/Source/VCGeneration/StratifiedVC.cs @@ -326,7 +326,7 @@ namespace VC { 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, "", Bpl.Type.Bool);
|