Index: src/ResolvExpr/ResolveAssertions.h
===================================================================
--- src/ResolvExpr/ResolveAssertions.h	(revision 6d6e829fe48b32bcf207da90b00789ffbba8f74d)
+++ src/ResolvExpr/ResolveAssertions.h	(revision 4d2d45f9b4c716c8a4e67b648f440e533b7ee2b2)
@@ -24,5 +24,5 @@
 namespace ResolvExpr {
 	/// Recursively resolves all assertions provided in an alternative; returns true iff succeeds
-	void resolveAssertions( Alternative& alt, const SymTab::Indexer& indexer, AltList& out );
+	void resolveAssertions( Alternative& alt, const SymTab::Indexer& indexer, AltList& out, std::list<std::string>& errors );
 } // namespace ResolvExpr