Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision f678663e486e9823250460605ad29ea629aebf04)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 8c84ebde3a7ebf0cf2619525ce0d94191f1d49fc)
@@ -343,4 +343,5 @@
 	}
 
+	/// Adds type variables to the open variable set and marks their assertions
 	void makeUnifiableVars( Type *type, OpenVarSet &unifiableVars, AssertionSet &needAssertions ) {
 		for ( std::list< TypeDecl* >::const_iterator tyvar = type->get_forall().begin(); tyvar != type->get_forall().end(); ++tyvar ) {