diff options
Diffstat (limited to 'rtl/picorv32')
| -rw-r--r-- | rtl/picorv32/picorv32.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rtl/picorv32/picorv32.v b/rtl/picorv32/picorv32.v index f13cea9..e4ef08a 100644 --- a/rtl/picorv32/picorv32.v +++ b/rtl/picorv32/picorv32.v @@ -22,7 +22,7 @@ /* verilator lint_off CASEOVERLAP */ /* verilator lint_off CASEINCOMPLETE */ -`timescale 1 ns / 1 ps +// `timescale 1 ns / 1 ps // `default_nettype none // `define DEBUGNETS // `define DEBUGREGS |