Removed program argument from VerifyImplementation. It is redundant since the constructor of ConditionGeneration

takes a program reference and stashes it in a field.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 0911cbd3..44adce15 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -701,7 +701,7 @@ namespace Microsoft.Boogie {
               Console.WriteLine();

             }

             else {

-              outcome = vcgen.VerifyImplementation(impl, program, out errors);

+              outcome = vcgen.VerifyImplementation(impl, out errors);

               if (CommandLineOptions.Clo.ExtractLoops && vcgen is VCGen && errors != null) {

                 for (int i = 0; i < errors.Count; i++) {

                   errors[i] = (vcgen as VCGen).extractLoopTrace(errors[i], impl.Name, program, extractLoopMappingInfo);