From 5fcb5f9b5c9aa0f13b477c67d6d34f5b28ccb63d Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 19 Jan 2010 15:10:49 +0000 Subject: minor changes to Theory --- src/expr/attr_type.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/expr') 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; }; -- cgit v1.2.3