From 6541ac9ebb538c339f818e9d473e09c5207f23ae Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Sat, 4 Sep 2010 20:17:06 +0000
Subject: Fix for extractLoops

---
 Source/BoogieDriver/BoogieDriver.cs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Source/BoogieDriver/BoogieDriver.cs')

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);
                     }
                 }
 
-- 
cgit v1.2.3