X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FResultNode.java;fp=src%2Fedu%2Fberkeley%2Fsbp%2FResultNode.java;h=bce43c5db227f0dd7f6a64dfc43ffc9c3c5e94f8;hp=d61b06b7344a6e9e628dba0877283afcb18e6b01;hb=e0642797cf50d33913d996056146bd5ca79ddbd8;hpb=5ac63262248a11cc6412e145794321110327405e

diff --git a/src/edu/berkeley/sbp/ResultNode.java b/src/edu/berkeley/sbp/ResultNode.java
index d61b06b..bce43c5 100644
--- a/src/edu/berkeley/sbp/ResultNode.java
+++ b/src/edu/berkeley/sbp/ResultNode.java
@@ -6,7 +6,8 @@ import edu.berkeley.sbp.Sequence.Pos;
 import edu.berkeley.sbp.Sequence.Pos;
 import java.util.*;
 
-final class ResultNode extends Node {
+final class ResultNode
+    extends Node<StateNode> {
 
     private Forest.Many f = new Forest.Many();
     //private HashSet<StateNode> predecessors = new HashSet<StateNode>();