diff options
| author |  qadeer <unknown> | 2014-01-03 14:07:55 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2014-01-03 14:07:55 -0800 |
| commit | 8ff54369ce4433bc21a470d8e3eb33db91633507 (patch) | |
| tree | 02c13a8eab11aac7635d7091396c8dc96f2af14e /Source/Concurrency | |
| parent | 7dfa20ccf39584a3b9026fbc01e2c312b295999e (diff) | |
and another
Diffstat (limited to 'Source/Concurrency')
| -rw-r--r-- | Source/Concurrency/RefinementCheck.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Concurrency/RefinementCheck.cs b/Source/Concurrency/RefinementCheck.cs index 777fb29c..bba7bd35 100644 --- a/Source/Concurrency/RefinementCheck.cs +++ b/Source/Concurrency/RefinementCheck.cs @@ -373,7 +373,7 @@ namespace Microsoft.Boogie }
}
- sealed class MySubstituter : Duplicator
+ private sealed class MySubstituter : Duplicator
{
private readonly Substitution outsideOld;
private readonly Substitution insideOld;
|