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

File:

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

src/ResolvExpr/SatisfyAssertions.hpp

@@ -28 +28 @@
 
 /// Recursively satisfies all assertions provided in a candidate; returns true if succeeds
-void satisfyAssertions(
-        CandidateRef & cand, const ast::SymbolTable & symtab, CandidateList & out,
+void satisfyAssertions( 
+        CandidateRef & cand, const ast::SymbolTable & symtab, CandidateList & out, 
         std::vector<std::string> & errors );