Index: src/ResolvExpr/CommonType.cpp
===================================================================
--- src/ResolvExpr/CommonType.cpp	(revision 31f48370c9fb2839ef3cfac9f848ba193f19dc78)
+++ src/ResolvExpr/CommonType.cpp	(revision 822332e90fec6c4a9a05fd800863fb5009a81bcd)
@@ -353,5 +353,4 @@
 	ast::AssertionSet & have;
 public:
-	static size_t traceId;
 	ast::ptr< ast::Type > result;
 
Index: src/ResolvExpr/Unify.cpp
===================================================================
--- src/ResolvExpr/Unify.cpp	(revision 31f48370c9fb2839ef3cfac9f848ba193f19dc78)
+++ src/ResolvExpr/Unify.cpp	(revision 822332e90fec6c4a9a05fd800863fb5009a81bcd)
@@ -274,6 +274,6 @@
 	void previsit( const ast::Node * ) { visit_children = false; }
 
-	void postvisit( const ast::VoidType * vt) {
-		result = dynamic_cast< const ast::VoidType * >( type2 ); 
+	void postvisit( const ast::VoidType * ) {
+		result = dynamic_cast< const ast::VoidType * >( type2 );
 			// || tryToUnifyWithEnumValue(vt, type2, tenv, need, have, open, noWiden());
 		;
@@ -610,15 +610,15 @@
 	}
 
-	void postvisit( const ast::VarArgsType * vat) {
+	void postvisit( const ast::VarArgsType * ) {
 		result = dynamic_cast< const ast::VarArgsType * >( type2 );
 			// || tryToUnifyWithEnumValue(vat, type2, tenv, need, have, open, noWiden());
 	}
 
-	void postvisit( const ast::ZeroType * zt) {
+	void postvisit( const ast::ZeroType * ) {
 		result = dynamic_cast< const ast::ZeroType * >( type2 );
 			// || tryToUnifyWithEnumValue(zt, type2, tenv, need, have, open, noWiden());
 	}
 
-	void postvisit( const ast::OneType * ot) {
+	void postvisit( const ast::OneType * ) {
 		result = dynamic_cast< const ast::OneType * >( type2 );
 			// || tryToUnifyWithEnumValue(ot, type2, tenv, need, have, open, noWiden());