Remove unused variable

This commit is contained in:
Eelco Dolstra 2023-12-13 13:27:23 +01:00
parent 7026abfdde
commit cc3913e458

View file

@ -335,11 +335,6 @@ private:
std::map<std::string, std::optional<std::string>> searchPathResolved; std::map<std::string, std::optional<std::string>> searchPathResolved;
/**
* Cache used by checkSourcePath().
*/
std::unordered_map<Path, SourcePath> resolvedPaths;
/** /**
* Cache used by prim_match(). * Cache used by prim_match().
*/ */