From a254571bb1cec24f72005bdd47a2d4d156de4f04 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Mon, 16 Aug 2010 18:42:44 +0000
Subject: Boogie: Removed mistaken duplication of a type parameter

---
 Source/Core/Absy.ssc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/Core/Absy.ssc b/Source/Core/Absy.ssc
index 044d1667..4d0113ee 100644
--- a/Source/Core/Absy.ssc
+++ b/Source/Core/Absy.ssc
@@ -2314,7 +2314,7 @@ namespace Microsoft.Boogie
       Adjacency<Block!> next = new Adjacency<Block!>(Successors);
       Adjacency<Block!> prev = new Adjacency<Block!>(Predecessors);
 
-      this.scc = new StronglyConnectedComponents<Block><Block!>(this.Blocks, next, prev);
+      this.scc = new StronglyConnectedComponents<Block!>(this.Blocks, next, prev);
       scc.Compute();
 
       foreach(Block! block in this.Blocks)
-- 
cgit v1.2.3