diff options
Diffstat (limited to 'Source/Model')
| -rw-r--r-- | Source/Model/ModelParser.cs | 3 |
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] == ")") |