Revert "fixup! Mark includes that include-what-you-use spuriously suggests to remove"

tautschnig · tautschnig · commit cb91b1294bd9 · 2022-10-27T07:04:04.000Z
This reverts commit 18d7528dac185f8c572ee1004458ac80b8c62efa.
diff --git a/src/solvers/sat/satcheck_minisat2.h b/src/solvers/sat/satcheck_minisat2.h
@@ -23,8 +23,8 @@ Author: Daniel Kroening, kroening@kroening.com
 
 namespace Minisat // NOLINT(readability/namespace)
 {
-class Solver; // NOLINT(readability/identifiers), IWYU pragma: keep
-class SimpSolver; // NOLINT(readability/identifiers), IWYU pragma: keep
+class Solver; // NOLINT(readability/identifiers)
+class SimpSolver; // NOLINT(readability/identifiers)
 }
 
 template <typename T>

Original file line number	Diff line number	Diff line change
`@@ -23,8 +23,8 @@ Author: Daniel Kroening, [email protected]`
`23`	`23`
`24`	`24`	`namespace Minisat // NOLINT(readability/namespace)`
`25`	`25`	`{`
`26`		`-class Solver; // NOLINT(readability/identifiers), IWYU pragma: keep`
`27`		`-class SimpSolver; // NOLINT(readability/identifiers), IWYU pragma: keep`
	`26`	`+class Solver; // NOLINT(readability/identifiers)`
	`27`	`+class SimpSolver; // NOLINT(readability/identifiers)`
`28`	`28`	`}`
`29`	`29`
`30`	`30`	`template <typename T>`