diff options
| author |  Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2012-12-27 16:33:01 -0800 |
|---|---|---|
| committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2012-12-27 16:33:01 -0800 |
| commit | 37ab331bb770256f306d183901d4a603548526cd (patch) | |
| tree | d469acbd5d1af3bdfa0769b369c4486b2b84938e /Source/Houdini/Houdini.cs | |
| parent | 7afb14f298f1185566b85ea98e28da7dffe68d95 (diff) | |
minor bug fix
Diffstat (limited to 'Source/Houdini/Houdini.cs')
| -rw-r--r-- | Source/Houdini/Houdini.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index 17b537eb..819e86ea 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -1020,7 +1020,7 @@ namespace Microsoft.Boogie.Houdini { foreach (Counterexample error in errors)
{
RefutedAnnotation refutedAnnotation = ExtractRefutedAnnotation(error);
- if (refutedAnnotation.Kind == RefutedAnnotationKind.ASSERT) continue;
+ if (refutedAnnotation == null || refutedAnnotation.Kind == RefutedAnnotationKind.ASSERT) continue;
refutedAnnotations.Add(refutedAnnotation);
}
foreach (var refutedAnnotation in refutedAnnotations)
|