diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-05-21 11:35:57 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-05-21 11:35:57 -0700 |
| commit | f409d38528dd105ac38f809f1acceab0be18302c (patch) | |
| tree | 4090980542835e2b0225869595400343fb8d8561 /Source/VCGeneration/ConditionGeneration.cs | |
| parent | 64a9d2ef6ce31470245cef7c09cdf9821221b32b (diff) | |
starting the implementation of the new stratified inlining API
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.cs')
| -rw-r--r-- | Source/VCGeneration/ConditionGeneration.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs index 206d5376..dd898c36 100644 --- a/Source/VCGeneration/ConditionGeneration.cs +++ b/Source/VCGeneration/ConditionGeneration.cs @@ -504,7 +504,6 @@ namespace VC { protected Hashtable /*Variable -> int*/ variable2SequenceNumber;
public Dictionary<Incarnation, Absy>/*!>!*/ incarnationOriginMap = new Dictionary<Incarnation, Absy>();
- // used only by FindCheckerFor
public Program program;
protected string/*?*/ logFilePath;
protected bool appendLogFile;
|