From a1c3c987732d2ec2cf3cdf51d5aacae3e1bcbe62 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Tue, 21 Jan 2025 00:12:28 -0800 Subject: [PATCH] Messed up usage of SILIMATE_VERIFIC_EXTENSIONS --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 0fb9ed228..fe83e3666 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -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;