diff --git a/tools/circt-bmc/circt-bmc.cpp b/tools/circt-bmc/circt-bmc.cpp
index cfa50e5cacf1..f2989e678215 100644
--- a/tools/circt-bmc/circt-bmc.cpp
+++ b/tools/circt-bmc/circt-bmc.cpp
@@ -107,7 +107,7 @@ static cl::list<std::string> sharedLibs{
     "shared-libs", llvm::cl::desc("Libraries to link dynamically"),
     cl::MiscFlags::CommaSeparated, llvm::cl::cat(mainCategory)};
 
-#elif
+#else
 
 enum OutputFormat { OutputMLIR, OutputLLVM, OutputSMTLIB };
 static cl::opt<OutputFormat> outputFormat(