1 files changed, 3 insertions, 2 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index a24347f2..3bf7b624 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -529,9 +529,10 @@ namespace Microsoft.Boogie {
         program.UnrollLoops(CommandLineOptions.Clo.LoopUnrollCount);
       }
 
+      Dictionary<string, Dictionary<string, Block>> extractLoopMappingInfo = null;
       if (CommandLineOptions.Clo.ExtractLoops)
       {
-          program.ExtractLoops();
+          extractLoopMappingInfo = program.ExtractLoops();
       }
 
       if (CommandLineOptions.Clo.PrintInstrumented) {
@@ -660,7 +661,7 @@ namespace Microsoft.Boogie {
                 {
                     for (int i = 0; i < errors.Count; i++)
                     {
-                        errors[i] = (vcgen as VCGen).extractLoopTrace(errors[i], program);
+                        errors[i] = (vcgen as VCGen).extractLoopTrace(errors[i], impl.Name, program, extractLoopMappingInfo);
                     }
                 }