diff options
author | MichalMoskal <unknown> | 2010-12-10 22:31:36 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2010-12-10 22:31:36 +0000 |
commit | 9f6d76e85886afe2a7dc69064f6401fa5167add3 (patch) | |
tree | b959c99f9db0bc51c92d7a0e47c6850e4d4ae55d | |
parent | f341718382803d3b827f9b535dc6b5bbd47962ef (diff) |
Fix typo
-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 9aeb5440..2c43fbb5 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -219,7 +219,7 @@ namespace Microsoft.Boogie if (i != 0) res.Append(", ");
res.Append(Args[i]);
}
- res.Append(" -> ").Append(Result);
+ res.Append(") -> ").Append(Result);
return res.ToString();
}
}
|