diff options
author | qadeer <qadeer@microsoft.com> | 2012-05-01 22:28:05 -0700 |
---|---|---|
committer | qadeer <qadeer@microsoft.com> | 2012-05-01 22:28:05 -0700 |
commit | 8655c78cdab0b11e36b3686defa808f73049b582 (patch) | |
tree | b27af53f9208d95722d43ab80634e8bedd40e89f /Source/VCGeneration/ConditionGeneration.cs | |
parent | d687b7d83cdc32a25abc0aadbdb1b00819b52dc2 (diff) |
z3 process is killed now
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.cs')
-rw-r--r-- | Source/VCGeneration/ConditionGeneration.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs index 5eda8263..206d5376 100644 --- a/Source/VCGeneration/ConditionGeneration.cs +++ b/Source/VCGeneration/ConditionGeneration.cs @@ -919,7 +919,7 @@ namespace VC { }
- public void Close() {
+ virtual public void Close() {
foreach (Checker checker in checkers) {
Contract.Assert(checker != null);
checker.Close();
|