diff --git a/src/cbmc/bmc.h b/src/cbmc/bmc.h
index 142967c4b1e..261b77c96a3 100644
--- a/src/cbmc/bmc.h
+++ b/src/cbmc/bmc.h
@@ -285,6 +285,7 @@ class path_explorert : public bmct
   /// provided as arguments to the constructor of this class.
   void perform_symbolic_execution(
     goto_symext::get_goto_functiont get_goto_function) override;
+};
 
 #define OPT_BMC                                                                \
   "(program-only)"                                                             \
@@ -323,6 +324,5 @@ class path_explorert : public bmct
   " --no-pretty-names            do not simplify identifiers\n"                \
   " --graphml-witness filename   write the witness in GraphML format to "      \
   "filename\n" // NOLINT(*)
-};
 
 #endif // CPROVER_CBMC_BMC_H