diff options
| author |  qadeer <unknown> | 2014-04-16 17:55:55 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-04-16 17:55:55 -0700 |
| commit | 934a8491d4526cebfc30d8527cf49f3dc8b5e908 (patch) | |
| tree | 06faacb616ed2f1b5b77eb070ffd6b1acdbc4624 /Source/Concurrency/TypeCheck.cs | |
| parent | 93613c6cbff215b8e1898ee7d7503c5afa10312e (diff) | |
added the framing for the refinement check
Diffstat (limited to 'Source/Concurrency/TypeCheck.cs')
| -rw-r--r-- | Source/Concurrency/TypeCheck.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Concurrency/TypeCheck.cs b/Source/Concurrency/TypeCheck.cs index a8266e79..5a15c707 100644 --- a/Source/Concurrency/TypeCheck.cs +++ b/Source/Concurrency/TypeCheck.cs @@ -192,7 +192,7 @@ namespace Microsoft.Boogie CheckingContext checkingContext;
public int errorCount;
- Dictionary<Variable, int> qedGlobalVariables;
+ public Dictionary<Variable, int> qedGlobalVariables;
Procedure enclosingProc;
public Dictionary<Procedure, ActionInfo> procToActionInfo;
public Program program;
|