diff options
Diffstat (limited to 'Source')
-rw-r--r-- | Source/Core/OOLongUtil.cs | 5 | ||||
-rw-r--r-- | Source/Houdini/Houdini.cs | 7 |
2 files changed, 4 insertions, 8 deletions
diff --git a/Source/Core/OOLongUtil.cs b/Source/Core/OOLongUtil.cs index 474cb800..0d7bfc35 100644 --- a/Source/Core/OOLongUtil.cs +++ b/Source/Core/OOLongUtil.cs @@ -89,7 +89,7 @@ namespace Boogie.Util { }
public override int Read() {
cce.BeginExpose(this);
- {
+ try {
while (readAhead == null) {
readAhead = reader.ReadLine();
if (readAhead == null) {
@@ -105,8 +105,9 @@ namespace Boogie.Util { readAhead = null;
}
return res;
+ } finally {
+ cce.EndExpose();
}
- cce.EndExpose();
}
public override int Read(char[] buffer, int index, int count) {
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index 819e86ea..ff6b3f64 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -456,7 +456,6 @@ namespace Microsoft.Boogie.Houdini { public override Program VisitProgram(Program node)
{
assumedInImpl = new Dictionary<string, HashSet<Implementation>>();
- inAssume = false;
return base.VisitProgram(node);
}
@@ -468,10 +467,7 @@ namespace Microsoft.Boogie.Houdini { public override Cmd VisitAssumeCmd(AssumeCmd node)
{
- inAssume = true;
- var res = base.VisitAssumeCmd(node);
- inAssume = false;
- return res;
+ return base.VisitAssumeCmd(node);
}
public override Variable VisitVariable(Variable node)
@@ -491,7 +487,6 @@ namespace Microsoft.Boogie.Houdini { HashSet<Variable> constants;
Implementation curImpl;
- bool inAssume;
// contant -> set of implementations that have an assume command with that constant
public Dictionary<string, HashSet<Implementation>> assumedInImpl { get; private set; }
|