From 4991ed9d4bd610fed7e1a969c3957ea087bb62ba Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Tue, 25 Mar 2025 18:10:47 +0100 Subject: [PATCH] cutpoint: fix typo --- passes/sat/cutpoint.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/passes/sat/cutpoint.cc b/passes/sat/cutpoint.cc index bca6a5ec6..88f995dda 100644 --- a/passes/sat/cutpoint.cc +++ b/passes/sat/cutpoint.cc @@ -34,8 +34,8 @@ struct CutpointPass : public Pass { log("This command adds formal cut points to the design.\n"); log("\n"); log(" -undef\n"); - log(" set cupoint nets to undef (x). the default behavior is to create a\n"); - log(" $anyseq cell and drive the cutpoint net from that\n"); + log(" set cutpoint nets to undef (x). the default behavior is to create\n"); + log(" an $anyseq cell and drive the cutpoint net from that\n"); log("\n"); } void execute(std::vector args, RTLIL::Design *design) override