mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Fix compiler warning in verific.cc

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-10-05 09:26:10 +02:00
parent 5f1fea08d5
commit 4b0448fc2c
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
frontends/verific/verific.cc
View file

@ -1676,6 +1676,7 @@ YOSYS_NAMESPACE_END
PRIVATE_NAMESPACE_BEGIN PRIVATE_NAMESPACE_BEGIN
#ifdef YOSYS_ENABLE_VERIFIC
bool check_noverific_env() bool check_noverific_env()
{ {
const char *e = getenv("YOSYS_NOVERIFIC"); const char *e = getenv("YOSYS_NOVERIFIC");
@ -1685,6 +1686,7 @@ bool check_noverific_env()
return false; return false;
return true; return true;
} }
#endif
struct VerificPass : public Pass { struct VerificPass : public Pass {
VerificPass() : Pass("verific", "load Verilog and VHDL designs using Verific") { } VerificPass() : Pass("verific", "load Verilog and VHDL designs using Verific") { }