Skip to content

Commit

Permalink
iwyu
Browse files Browse the repository at this point in the history
  • Loading branch information
eggrobin committed Apr 1, 2024
1 parent 655a8f8 commit d4a7062
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions testing_utilities/check_well_formedness_test.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
#include "testing_utilities/check_well_formedness.hpp"

#include <string>
#include <utility>

PRINCIPIA_CHECK_ILL_FORMED(s + 3, WITH<std::string> s);
PRINCIPIA_CHECK_ILL_FORMED(s + "3", WITH<std::pair<double, double>> s);
Expand Down

0 comments on commit d4a7062

Please sign in to comment.