Skip to content

Commit

Permalink
💚 Put clang tidy ignore warning at the right location
Browse files Browse the repository at this point in the history
  • Loading branch information
ystade committed Nov 17, 2024
1 parent 3e33d89 commit b38b923
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/na/nasp/Solver.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
#include <cstdlib>
#include <iostream>
#include <memory>
#include <numeric>
#include <optional>
#include <sstream>
#include <stdexcept>
Expand All @@ -17,7 +18,6 @@
#include <utility>
#include <vector>
// NOLINTNEXTLINE (misc-include-cleaner)
#include <numeric>
#include <yaml-cpp/yaml.h>
#include <z3++.h>

Expand Down

0 comments on commit b38b923

Please sign in to comment.