1 files changed, 6 insertions, 0 deletions
diff --git a/Source/Provers/Simplify/ProverInterface.cs b/Source/Provers/Simplify/ProverInterface.cs
index 68c02c5d..95d8950a 100644
--- a/Source/Provers/Simplify/ProverInterface.cs
+++ b/Source/Provers/Simplify/ProverInterface.cs
@@ -511,7 +511,13 @@ namespace Microsoft.Boogie.Simplify {
           thmProver = null;
           currentProverHasBeenABadBoy = false;
           restarts++;
+
+          if (CommandLineOptions.Clo.StratifiedInlining > 0)
+          {
+              Console.WriteLine("Warning: restarting theorem prover. Context could be lost");
+          }
         }
+          
         FireUpNewProver();
       }
       cce.EndExpose();