Fixed typo in "verilog_write" help message

diff --git a/backends/verilog/verilog_backend.cc b/backends/verilog/verilog_backend.cc
index d3262ec47c23af420925ae0c713882b125fba1e3..ae9031510f69a060ee66a52adb77b8b4dbf6d7bb 100644 (file)
--- a/backends/verilog/verilog_backend.cc
+++ b/backends/verilog/verilog_backend.cc
@@ -1523,7 +1523,7 @@ struct VerilogBackend : public Backend {
                log("\n");
                log("    -nodec\n");
                log("        32-bit constant values are by default dumped as decimal numbers,\n");
-               log("        not bit pattern. This option decativates this feature and instead\n");
+               log("        not bit pattern. This option deactivates this feature and instead\n");
                log("        will write out all constants in binary.\n");
                log("\n");
                log("    -decimal\n");
@@ -1531,13 +1531,13 @@ struct VerilogBackend : public Backend {
                log("\n");
                log("    -nohex\n");
                log("        constant values that are compatible with hex output are usually\n");
-               log("        dumped as hex values. This option decativates this feature and\n");
+               log("        dumped as hex values. This option deactivates this feature and\n");
                log("        instead will write out all constants in binary.\n");
                log("\n");
                log("    -nostr\n");
                log("        Parameters and attributes that are specified as strings in the\n");
                log("        original input will be output as strings by this back-end. This\n");
-               log("        decativates this feature and instead will write string constants\n");
+               log("        deactivates this feature and instead will write string constants\n");
                log("        as binary numbers.\n");
                log("\n");
                log("    -defparam\n");

diff --git a/manual/command-reference-manual.tex b/manual/command-reference-manual.tex
index 8af8ccdd0d444aaabe231d7f0cf5a272ffad0325..fea2354e68364c7e1a0560438978bf80611d1fd8 100644 (file)
--- a/manual/command-reference-manual.tex
+++ b/manual/command-reference-manual.tex
@@ -4421,13 +4421,13 @@ Write the current design to a Verilog file.
 
     -nodec
         32-bit constant values are by default dumped as decimal numbers,
-        not bit pattern. This option decativates this feature and instead
+        not bit pattern. This option deactivates this feature and instead
         will write out all constants in binary.
 
     -nostr
         Parameters and attributes that are specified as strings in the
         original input will be output as strings by this back-end. This
-        decativates this feature and instead will write string constants
+        deactivates this feature and instead will write string constants
         as binary numbers.
 
     -defparam