Missing close bracket

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 281e1cc9de67ff1189ad2bcb13658466e830ddc8..d0d2ffdbac7aba31884cc93a32b86e0db5aaaed7 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -1025,7 +1025,7 @@ struct AigerFrontend : public Frontend {
                log("        Name of module to be created (default: <filename>)\n");
                log("\n");
                log("    -clk_name <wire_name>\n");
-               log("        If specified, AIGER latches to be transformed into $_DFF_P_ cells\n"
+               log("        If specified, AIGER latches to be transformed into $_DFF_P_ cells\n");
                log("        clocked by wire of this name. Otherwise, $_FF_ cells will be used.\n");
                log("\n");
                log("    -map <filename>\n");