Mon Nov 26 12:13:15 WET 2007 Miguel Vilaca <jmvilaca@di.uminho.pt>
* Reduction Bug Fix
Bug fix to reduction of nets with edges between two ports of the same agent.
{
hunk ./src/INReduction.hs 117
+ nodesToBeRemoveConnected :: ((NodeNr, Port),(NodeNr, Port)) -> ((NodeNr, Port),(NodeNr, Port)) -> Bool
hunk ./src/INReduction.hs 122
- ((map correctEdge . groupBy nodesToBeRemoveConnected) >< id) . [_$_]
+ ((map correctEdge . groupBy nodesToBeRemoveConnected . nub) >< id) .
}