diff options
| author |  rustanleino <unknown> | 2011-02-03 02:06:35 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2011-02-03 02:06:35 +0000 |
| commit | efc42f63a6b16ca433e532adc016b519b05f5588 (patch) | |
| tree | 6b09b2c2d0e2f3c012039a811d0b598fa3b02abd /Source/ModelViewer | |
| parent | bede272d5a04997e8c6dd7d933fe2f953c0f5cd4 (diff) | |
Dafny: removed CEV instrumentation
Diffstat (limited to 'Source/ModelViewer')
| -rw-r--r-- | Source/ModelViewer/DafnyProvider.cs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Source/ModelViewer/DafnyProvider.cs b/Source/ModelViewer/DafnyProvider.cs index 729cb14b..32912113 100644 --- a/Source/ModelViewer/DafnyProvider.cs +++ b/Source/ModelViewer/DafnyProvider.cs @@ -90,8 +90,7 @@ namespace Microsoft.Boogie.ModelViewer.Dafny public string GetUserVariableName(string name)
{
- if (name.StartsWith("$") || // this covers $Heap and $_Frame and $nw...
- name == "#cev_pc")
+ if (name.StartsWith("$")) // this covers $Heap and $_Frame and $nw...
return null;
var hash = name.IndexOf('#');
if (0 < hash)
|