diff options
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.cs')
-rw-r--r-- | Source/VCGeneration/ConditionGeneration.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs index d6264c14..8afbf027 100644 --- a/Source/VCGeneration/ConditionGeneration.cs +++ b/Source/VCGeneration/ConditionGeneration.cs @@ -983,7 +983,7 @@ namespace VC { // Look for existing checker.
for (int i = 0; i < checkers.Count; i++)
{
- var c = checkers.ElementAt(i);
+ var c = checkers[i];
if (Monitor.TryEnter(c))
{
try
@@ -998,13 +998,13 @@ namespace VC { if (c.IsIdle)
{
c.Retarget(program, c.TheoremProver.Context, timeout);
+ c.GetReady();
return c;
}
else
{
checkers.RemoveAt(i);
}
- continue;
}
}
finally
|