1 files changed, 1 insertions, 1 deletions
diff --git a/backends/btor/verilog2btor.sh b/backends/btor/verilog2btor.sh
index cfdc066a8..1c537d5bd 100755
--- a/backends/btor/verilog2btor.sh
+++ b/backends/btor/verilog2btor.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 #
-# Script to writing btor from verilog design
+# Script to write BTOR from Verilog design
 #
 
 if [ "$#" -ne 3 ]; then