Changes in src/ResolvExpr/SatisfyAssertions.hpp [1389810:b69233ac]

File:

• src/ResolvExpr/SatisfyAssertions.hpp (modified) (1 diff)

src/ResolvExpr/SatisfyAssertions.hpp

@@ -27 +27 @@
 namespace ResolvExpr {
 
-/// Recursively satisfies all assertions provided in a candidate
-/// returns true if it has been run (candidate has any assertions)
-void satisfyAssertions(
-        CandidateRef & cand, const ast::SymbolTable & symtab, CandidateList & out,
+/// Recursively satisfies all assertions provided in a candidate; returns true if succeeds
+void satisfyAssertions( 
+        CandidateRef & cand, const ast::SymbolTable & symtab, CandidateList & out, 
         std::vector<std::string> & errors );