diff options
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/eval.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/sat/eval.cc b/passes/sat/eval.cc index 056115031..05879426e 100644 --- a/passes/sat/eval.cc +++ b/passes/sat/eval.cc @@ -18,7 +18,7 @@ */ // [[CITE]] VlogHammer Verilog Regression Test Suite -// http://yosyshq.net/yosys/vloghammer.html +// https://yosyshq.net/yosys/vloghammer.html #include "kernel/register.h" #include "kernel/celltypes.h" |