terapines
/
circt
mirror of https://github.com/llvm/circt.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[circt-bmc] Fix elif -> else to make it compile without execution engine

This commit is contained in:
Martin Erhart 2024-09-30 15:34:37 +02:00
parent 6e4e86666c
commit e66d68089b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/circt-bmc/circt-bmc.cpp
View File

@ -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(