diff options
| author |  Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-01-04 10:50:18 -0800 |
|---|---|---|
| committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-01-04 10:50:18 -0800 |
| commit | 381e589bd49684b46a00c1bea3514e0d1e84b3fd (patch) | |
| tree | 572f2f665b8cbf0f41429921f83b500ee25d019e /Source/Model/Model.cs | |
| parent | 562c3d3af84d7c364fb6aa81cca83ff17bad64d2 (diff) | |
bug fix in model printing
Diffstat (limited to 'Source/Model/Model.cs')
| -rw-r--r-- | Source/Model/Model.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 74684f0e..23bbb1f9 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -145,7 +145,7 @@ namespace Microsoft.Boogie StringBuilder builder = new StringBuilder();
builder.Append(ConstructorName + "(");
int count = 0;
- foreach (DatatypeValue arg in Arguments) {
+ foreach (Element arg in Arguments) {
count++;
builder.Append(arg);
if (count < Arguments.Length)
|