make Result final

darcs-hash:20070226031757-5007d-bdb85ecef3bb604cf1beab25ca777dbc1be92ad6.gz

diff --git a/src/edu/berkeley/sbp/Result.java b/src/edu/berkeley/sbp/Result.java
index 7888625..6fc1ad2 100644 (file)
--- a/src/edu/berkeley/sbp/Result.java
+++ b/src/edu/berkeley/sbp/Result.java
@@ -9,7 +9,7 @@ import java.io.*;
 import java.util.*;
 import java.lang.reflect.*;
 
-class Result implements GraphViz.ToGraphViz {
+final class Result implements GraphViz.ToGraphViz {
 
     private Forest f;
     private Node parent;