IWYU

Author: tautschnig

src/solvers/smt2_incremental/smt2_incremental_decision_procedure.h

@@ -134,7 +134,7 @@ class smt2_incremental_decision_proceduret final
   messaget log;
   /// Generators of sequences of uniquely identifying numbers used for naming
   /// SMT functions introduced by the decision procedure.
-  class sequencet // IWYU pragma: keep
+  class sequencet
   {
     size_t next_id = 0;
 
@@ -143,7 +143,8 @@ class smt2_incremental_decision_proceduret final
     {
       return next_id++;
     }
-  } handle_sequence, array_sequence, index_sequence, padding_sequence;
+  };
+  sequencet handle_sequence, array_sequence, index_sequence, padding_sequence;
   /// When the `handle(exprt)` member function is called, the decision procedure
   /// commands the SMT solver to define a new function corresponding to the
   /// given expression. The mapping of the expressions to the function