btor backend: add option to not include internal names

[yosys.git] / techlibs / greenpak4 / cells_sim_digital.v

diff --git a/techlibs/greenpak4/cells_sim_digital.v b/techlibs/greenpak4/cells_sim_digital.v
index b87795ceb92cee26b39f5cf97dc405a5641e5666..43d35d08f33c4c3c66ee49e585c756139de0bdf4 100644 (file)
--- a/techlibs/greenpak4/cells_sim_digital.v
+++ b/techlibs/greenpak4/cells_sim_digital.v
@@ -102,7 +102,7 @@ module GP_COUNT14(input CLK, input wire RST, output reg OUT);
 
                        default: begin
                                initial begin
-                                       $display("Invalid RESET_MODE on GP_COUNT8");
+                                       $display("Invalid RESET_MODE on GP_COUNT14");
                                        $finish;
                                end
                        end