diff options
| author |  tabarbe <unknown> | 2010-08-16 18:42:44 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-16 18:42:44 +0000 |
| commit | a254571bb1cec24f72005bdd47a2d4d156de4f04 (patch) | |
| tree | b49db12ada9673d080247e3a165e4614ae6f9bbe /Source | |
| parent | ae47789259872ffd3cc72c107a897159dcfbea7e (diff) | |
Boogie: Removed mistaken duplication of a type parameter
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Core/Absy.ssc | 2 |
1 files changed, 1 insertions, 1 deletions
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)
|