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/Houdini/AbstractHoudini.cs | |
parent | 62d2fa72d5e1816d6cb1239063302808424c6d13 (diff) |
More refactoring
Diffstat (limited to 'Source/Houdini/AbstractHoudini.cs')
-rw-r--r-- | Source/Houdini/AbstractHoudini.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs index ceef059e..321d4072 100644 --- a/Source/Houdini/AbstractHoudini.cs +++ b/Source/Houdini/AbstractHoudini.cs @@ -82,7 +82,7 @@ namespace Microsoft.Boogie.Houdini { // type check
existentialFunctions.Values.Iter(func =>
{
- if (func.OutParams.Length != 1 || !func.OutParams[0].TypedIdent.Type.IsBool)
+ if (func.OutParams.Count != 1 || !func.OutParams[0].TypedIdent.Type.IsBool)
throw new AbsHoudiniInternalError(string.Format("Existential function {0} must return bool", func.Name));
if(func.Body != null)
throw new AbsHoudiniInternalError(string.Format("Existential function {0} should not have a body", func.Name));
|