Skip to content

Commit

Permalink
[pre-commit.ci lite] apply automatic fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
pre-commit-ci-lite[bot] authored Feb 26, 2024
1 parent 541b213 commit 53f9174
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/Core/TargetManager.h
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ class TargetCalculator;
using TargetHistoryTargetPair =
std::pair<ref<const TargetsHistory>, ref<Target>>;
using StatesVector = std::vector<ExecutionState *>;
using StateSet = std::set<ExecutionState *>;
using StateSet = std::set<ExecutionState *>;

class StateIterable final {
private:
Expand Down

0 comments on commit 53f9174

Please sign in to comment.