summaryrefslogtreecommitdiff
path: root/Source/Model
diff options
context:
space:
mode:
Diffstat (limited to 'Source/Model')
-rw-r--r--Source/Model/ModelParser.cs3
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/Model/ModelParser.cs b/Source/Model/ModelParser.cs
index 5de903ab..0a7a6c69 100644
--- a/Source/Model/ModelParser.cs
+++ b/Source/Model/ModelParser.cs
@@ -681,6 +681,9 @@ namespace Microsoft.Boogie
if (tokens [i] == "(" && tokens [i + 1] == "__array_store_all__") {
output.Add ("as-array[k!" + arrayNum + "]");
SplitArrayExpression ();
+ } else if (tokens [i] == "(" && tokens [i + 1] == "store") {
+ output.Add ("as-array[k!" + arrayNum + "]");
+ SplitArrayExpression ();
} else {
while (args.Count < 3) {
if (tokens [i] == ")")