--- branches/new_design/OOPSE-4/src/brains/SkipList.hpp	2004/12/02 04:55:10	1825
+++ branches/new_design/OOPSE-4/src/brains/SkipList.hpp	2004/12/02 05:04:20	1826
@@ -20,7 +20,7 @@ class SkipList{
  
  protected:
 
-  set<int> skipSet;
+   std::set<int> skipSet;
   SkipList();
 
  private: