unset_timing_derate

Signed-off-by: James Cherry <cherry@parallaxsw.com>
This commit is contained in:
James Cherry 2022-07-02 17:50:40 -07:00
parent 9658811092
commit 15209ab0da
1 changed files with 1 additions and 1 deletions

View File

@ -597,7 +597,7 @@ define_cmd_args "unset_timing_derate" {}
proc unset_timing_derate { args } {
check_argc_eq0 "unset_timing_derate" $args
reset_timing_derate_cmd
unset_timing_derate_cmd
}
################################################################