diff options
Diffstat (limited to 'Source/Houdini/CandidateDependenceAnalyser.cs')
| -rw-r--r-- | Source/Houdini/CandidateDependenceAnalyser.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Houdini/CandidateDependenceAnalyser.cs b/Source/Houdini/CandidateDependenceAnalyser.cs index 9a2eb404..0f725ccf 100644 --- a/Source/Houdini/CandidateDependenceAnalyser.cs +++ b/Source/Houdini/CandidateDependenceAnalyser.cs @@ -437,7 +437,7 @@ namespace Microsoft.Boogie.Houdini { {
#region Handle the preconditions
- RequiresSeq newRequires = new RequiresSeq();
+ List<Requires> newRequires = new List<Requires>();
foreach(Requires r in p.Requires) {
string c;
if (Houdini.MatchCandidate(r.Condition, candidates, out c)) {
@@ -457,7 +457,7 @@ namespace Microsoft.Boogie.Houdini { #endregion
#region Handle the postconditions
- EnsuresSeq newEnsures = new EnsuresSeq();
+ List<Ensures> newEnsures = new List<Ensures>();
foreach(Ensures e in p.Ensures) {
string c;
if (Houdini.MatchCandidate(e.Condition, candidates, out c)) {
|