diff options
Diffstat (limited to 'passes/sat/cutpoint.cc')
| -rw-r--r-- | passes/sat/cutpoint.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/sat/cutpoint.cc b/passes/sat/cutpoint.cc index 048aec7f..b4549bc3 100644 --- a/passes/sat/cutpoint.cc +++ b/passes/sat/cutpoint.cc @@ -24,7 +24,7 @@ USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN struct CutpointPass : public Pass { - CutpointPass() : Pass("cutpoint", "add hi/lo cover cells for each wire bit") { } + CutpointPass() : Pass("cutpoint", "adds formal cut points to the design") { } void help() YS_OVERRIDE { // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| |