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

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 succeeds
-void satisfyAssertions( 
-        CandidateRef & cand, const ast::SymbolTable & symtab, CandidateList & out, 
+/// 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,
         std::vector<std::string> & errors );