From 6c00704a5ef09be46b1f05e2be477e493f37dd38 Mon Sep 17 00:00:00 2001
From: Larry Doolittle <ldoolitt@recycle.lbl.gov>
Date: Fri, 14 Aug 2015 13:23:01 -0700
Subject: Another block of spelling fixes

Smaller this time
---
 backends/btor/verilog2btor.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backends/btor/verilog2btor.sh')

diff --git a/backends/btor/verilog2btor.sh b/backends/btor/verilog2btor.sh
index cfdc066a..1c537d5b 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
-- 
cgit v1.2.3