diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-07-22 14:33:46 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-22 14:33:46 +0100 |
| commit | a9a9bde95e700ef77ea5fee4ed7dd5a2fe04a46a (patch) | |
| tree | 66d11e82076a416c4e3842adf8737877ea29a400 /Source/Houdini/Checker.cs | |
| parent | 3802281edec18eb2fd3e75de27f3eb72d93d44b0 (diff) | |
| parent | 5664c5e30f16b74eae4cdcb0b9ba65d5b030c815 (diff) | |
merge
Diffstat (limited to 'Source/Houdini/Checker.cs')
| -rw-r--r-- | Source/Houdini/Checker.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/Checker.cs b/Source/Houdini/Checker.cs index b29aa933..ce46f20b 100644 --- a/Source/Houdini/Checker.cs +++ b/Source/Houdini/Checker.cs @@ -155,7 +155,7 @@ namespace Microsoft.Boogie.Houdini { var exprGen = proverInterface.Context.ExprGen;
VCExpr controlFlowVariableExpr = CommandLineOptions.Clo.UseLabels ? null : exprGen.Integer(BigNum.ZERO);
- Hashtable/*<int, Absy!>*/ label2absy;
+ Dictionary<int, Absy> label2absy;
conjecture = vcgen.GenerateVC(impl, controlFlowVariableExpr, out label2absy, proverInterface.Context);
if (!CommandLineOptions.Clo.UseLabels) {
VCExpr controlFlowFunctionAppl = exprGen.ControlFlowFunctionApplication(exprGen.Integer(BigNum.ZERO), exprGen.Integer(BigNum.ZERO));
|