make Result.usedByNonDoomedNode() more efficient

[sbp.git] / src / edu / berkeley / sbp / bind / RawBindingFunctor.java

diff --git a/src/edu/berkeley/sbp/bind/RawBindingFunctor.java b/src/edu/berkeley/sbp/bind/RawBindingFunctor.java
index a7c670f..2a7cdbe 100644 (file)
--- a/src/edu/berkeley/sbp/bind/RawBindingFunctor.java
+++ b/src/edu/berkeley/sbp/bind/RawBindingFunctor.java
@@ -1,3 +1,5 @@
+// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license
+
 package edu.berkeley.sbp.bind;
 import edu.berkeley.sbp.*;
 import edu.berkeley.sbp.util.*;
@@ -6,7 +8,7 @@ import java.io.*;
 import java.util.*;
 import java.lang.reflect.*;
 
-public class RawBindingFunctor<T> implements Tree.TreeFunctor<T,Object>, ToJava {
+public class RawBindingFunctor<T> implements TreeFunctor<T,Object>, ToJava {
     private Binding _binding;
     private String _toString;
     public RawBindingFunctor(String toString, Binding binding) {