diff -r 672acc730ce5 -r d628defebc17 server/test/unittest_session.py
--- a/server/test/unittest_session.py	Thu May 14 10:24:56 2009 +0200
+++ b/server/test/unittest_session.py	Thu May 14 11:38:40 2009 +0200
@@ -6,12 +6,12 @@
     def __init__(self, name):
         self.name = name
         self.children = []
-        
+
     def get_type(self, solution, args=None):
         return solution[self.name]
     def as_string(self):
         return self.name
-    
+
 class Function:
     def __init__(self, name, varname):
         self.name = name