diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-09-28 16:29:20 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-09-28 16:29:20 -0700 |
| commit | 40dc7a12c5cdb1dd695c866bea72d1fef2c84034 (patch) | |
| tree | 2a7e7bcd789934617e77b05476dd01d43c019679 /Source/ModelViewer/Namer.cs | |
| parent | 39e8128ed605670ffc56337b25f16264384f3550 (diff) | |
VCC: Support _(blob ..) types; fix crash
Diffstat (limited to 'Source/ModelViewer/Namer.cs')
| -rw-r--r-- | Source/ModelViewer/Namer.cs | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Source/ModelViewer/Namer.cs b/Source/ModelViewer/Namer.cs index 2779c81d..922859f2 100644 --- a/Source/ModelViewer/Namer.cs +++ b/Source/ModelViewer/Namer.cs @@ -387,9 +387,13 @@ namespace Microsoft.Boogie.ModelViewer positions.Sort();
string content = "";
- try {
- content = System.IO.File.ReadAllText(kv.Key);
- } catch {
+ if (System.IO.File.Exists(kv.Key)) {
+ try {
+ content = System.IO.File.ReadAllText(kv.Key);
+ } catch {
+ continue;
+ }
+ } else {
continue;
}
|