Changeset 81da3da4 for src/ResolvExpr/CandidateFinder.hpp

Timestamp:

Dec 11, 2023, 4:18:13 AM (22 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

21ce2c7, 2554f24

Parents:

5ddb8bf (diff), 1c85ffc (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/ResolvExpr/CandidateFinder.hpp (modified) (2 diffs)

src/ResolvExpr/CandidateFinder.hpp

@@ -17 +17 @@
 
 #include "Candidate.hpp"
-#include "ResolvMode.h"
+#include "ResolveMode.hpp"
 #include "AST/Fwd.hpp"
 #include "AST/Node.hpp"
@@ -43 +43 @@
 
         /// Fill candidates with feasible resolutions for `expr`
-        void find( const ast::Expr * expr, ResolvMode mode = {} );
+        void find( const ast::Expr * expr, ResolveMode mode = {} );
         bool pruneCandidates( CandidateList & candidates, CandidateList & out, std::vector<std::string> & errors );