3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-21 16:16:39 +00:00

Messed up usage of SILIMATE_VERIFIC_EXTENSIONS

This commit is contained in:
Akash Levy 2025-01-21 00:12:28 -08:00
parent da726a4e54
commit a1c3c98773

View file

@ -3841,7 +3841,7 @@ struct VerificPass : public Pass {
#endif
const char* filename = nullptr;
#ifndef SILIMATE_VERIFIC_EXTENSIONS
#ifdef SILIMATE_VERIFIC_EXTENSIONS
Verific::veri_file::f_file_flags flags = (args[argidx] == "-F") ? veri_file::F_FILE_CAPITAL : (args[argidx] == "-FF" ? veri_file::F_FILE_CAPITAL_NESTED : veri_file::F_FILE_NONE);
#else
Verific::veri_file::f_file_flags flags = (args[argidx] == "-F") ? veri_file::F_FILE_CAPITAL : veri_file::F_FILE_NONE;