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

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 );