diff options
Diffstat (limited to 'Source/Model/ModelParser.cs')
| -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])); |