minor changes to Theory

1 files changed, 2 insertions, 2 deletions

diff --git a/src/expr/attr_type.h b/src/expr/attr_type.h
index 7fa828237..a4c8c41a9 100644
--- a/src/expr/attr_type.h
+++ b/src/expr/attr_type.h
@@ -27,10 +27,10 @@ class Type;
 // this is essentially a traits structure
 class Type_attr {
 public:
-  
+
   // could use typeid but then different on different machines/compiles
   enum { hash_value = 11 };
-  
+
   typedef Type value_type;//Node?
   static const Type_attr marker;
 };