shutting down the prover used for doing houdini

1 files changed, 2 insertions, 0 deletions

diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs
index a273741e..d753762f 100644
--- a/Source/Houdini/Houdini.cs
+++ b/Source/Houdini/Houdini.cs
@@ -689,6 +689,8 @@ namespace Microsoft.Boogie.Houdini {
       foreach (var x in currentHoudiniState.Assignment)

         assignment[x.Key.Name] = x.Value;

       currentHoudiniState.Outcome.assignment = assignment;

+      vcgen.Close();

+      proverInterface.Close();

       return currentHoudiniState.Outcome;

     }