diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-11-07 12:09:41 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-11-07 12:09:41 -0800 |
| commit | e338a9e722a57cefd874b27cc75c2b57426eee8a (patch) | |
| tree | 613d4baff9aa8b0767abff573371a2fb84a85bd1 /Source/VCGeneration | |
| parent | 8385a3f616afe56185575f5e8a4bc3d91e256866 (diff) | |
change in model parsing with datatype values
Diffstat (limited to 'Source/VCGeneration')
| -rw-r--r-- | Source/VCGeneration/Check.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index 1529db01..7b623bce 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -365,6 +365,9 @@ namespace Microsoft.Boogie { case Model.ElementKind.Array:
val = null;
break;
+ case Model.ElementKind.DataValue:
+ val = null;
+ break;
default:
Contract.Assert(false);
val = null;
|