diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-11-18 14:56:07 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-11-18 14:56:07 -0800 |
| commit | 924a89f9022f0d4fa7201376eff55c0294cd4a72 (patch) | |
| tree | cf071d3c7d9652b81a6ee54711d97818d1b87cf8 /Source/Core | |
| parent | 915225c14ba71e94ed0f43fef8aaeb4dfbf49e71 (diff) | |
commented calls to GC.Collect()
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/BoogiePL.atg | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Core/BoogiePL.atg b/Source/Core/BoogiePL.atg index 645cdee5..c7950c9a 100644 --- a/Source/Core/BoogiePL.atg +++ b/Source/Core/BoogiePL.atg @@ -585,7 +585,6 @@ Procedure<out Procedure/*!*/ proc, out /*maybe null*/ Implementation impl> | { Spec<pre, mods, post> }
ImplBody<out locals, out stmtList>
(.
- // here we attach kv only to the Procedure, not its implementation
impl = new Implementation(x, x.val, typeParams,
Formal.StripWhereClauses(ins), Formal.StripWhereClauses(outs), locals, stmtList, kv == null ? null : (QKeyValue)kv.Clone(), this.errors);
.)
|