diff options
| author |  Ken McMillan <unknown> | 2014-02-21 12:14:52 -0800 |
|---|---|---|
| committer | Ken McMillan <unknown> | 2014-02-21 12:14:52 -0800 |
| commit | 4cc9668503bbb9be867472e18bd7341b0369da0f (patch) | |
| tree | e070ac5e4eea3f558e74a418fa03fefa018ab7be /Source | |
| parent | 8b07f660070fcc551fe2d04c5ef197dde4c02596 (diff) | |
| parent | d4d59ba1cbc91160a3d15cbf615878af971448e6 (diff) | |
Merge ModelParser fix
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Model/ModelParser.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/Model/ModelParser.cs b/Source/Model/ModelParser.cs index dc6e06b5..ded145ed 100644 --- a/Source/Model/ModelParser.cs +++ b/Source/Model/ModelParser.cs @@ -65,7 +65,9 @@ namespace Microsoft.Boogie string s = o as string; if (s != null) return GetElt (s); - List<object> os = (List<object>)o; + List<object> os = (List<object>)o;
+ if (!(os[0] is string))
+ os.Insert(0, "_"); // KLM: fix crash on ((as const (Array Int Int)) 0) List<Model.Element> args = new List<Model.Element> (); for (int i = 1; i < os.Count; i++) { args.Add (GetElt (os [i])); |