read_aiger: default -clk_name to be empty

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index f030933ec9871749671ee002ba6c3282bd8c1fdd..d7367479bb28d7a74647ca1b6be72927573d574c 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -1018,7 +1018,7 @@ struct AigerFrontend : public Frontend {
        {
                log_header(design, "Executing AIGER frontend.\n");
 
-               RTLIL::IdString clk_name = "\\clk";
+               RTLIL::IdString clk_name;
                RTLIL::IdString module_name;
                std::string map_filename;
                bool wideports = false;