--- a/src/core/model/pointer.h	Fri May 13 14:51:51 2011 -0400
+++ b/src/core/model/pointer.h	Fri May 13 14:52:27 2011 -0400
@@ -87,16 +87,16 @@
     const PointerValue *value = dynamic_cast<const PointerValue *> (&val);
     if (value == 0)
       {
-	return false;
+        return false;
       }
     if (value->GetObject () == 0)
       {
-	return true;
+        return true;
       }
     T *ptr = dynamic_cast<T*> (PeekPointer (value->GetObject ()));
     if (ptr == 0)
       {
-	return false;
+        return false;
       }
     return true;
   }