From 3f6df4a72d8b59183f6a4b8b8b3b055d911937fa Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Fri, 7 Jun 2013 11:00:18 -0700
Subject: Fixed an issue in the prover interface.

---
 Source/Provers/SMTLib/ProverInterface.cs | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Source')

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index de9be1b9..8f6c4503 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -780,7 +780,14 @@ namespace Microsoft.Boogie.SMTLib
             IList<string> xlabels;
             if (CommandLineOptions.Clo.UseLabels) {
               labels = GetLabelsInfo();
-              xlabels = labels.Select(a => a.Replace("@", "").Replace("+", "")).ToList();
+              if (labels == null)
+              {
+                xlabels = new string[] { };
+              }
+              else
+              {
+                xlabels = labels.Select(a => a.Replace("@", "").Replace("+", "")).ToList();
+              }
             }
             else {
               labels = CalculatePath(handler.StartingProcId());
-- 
cgit v1.2.3