diff options
-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)
|