diff options
author | Ally Donaldson <unknown> | 2013-07-22 09:49:33 +0100 |
---|---|---|
committer | Ally Donaldson <unknown> | 2013-07-22 09:49:33 +0100 |
commit | 0eb1f021dd9f0a24c03f8d9b5124f49840ee6f1d (patch) | |
tree | 51ba8345a9384e9c570d664aa6cf4a307238a518 /Source/Core/Duplicator.cs | |
parent | 3b15454ac18f93e8f42913af80f665a900fd4378 (diff) |
Fixed bugs arising from differences between hashtables and dictionaries
Diffstat (limited to 'Source/Core/Duplicator.cs')
-rw-r--r-- | Source/Core/Duplicator.cs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/Core/Duplicator.cs b/Source/Core/Duplicator.cs index d8b45d09..1bea5880 100644 --- a/Source/Core/Duplicator.cs +++ b/Source/Core/Duplicator.cs @@ -373,7 +373,10 @@ namespace Microsoft.Boogie { }
public Expr/*?*/ Method(Variable v) {
Contract.Requires(v != null);
- return (Expr)map[v];
+ if(map.ContainsKey(v)) {
+ return map[v];
+ }
+ return null;
}
}
|