Fix typo in comment.

acl2 · Jun 14, 2017 · 86fc13c · 86fc13c
1 parent c93b779
commit 86fc13c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/books/projects/x86isa/utils/utilities.lisp b/books/projects/x86isa/utils/utilities.lisp
@@ -309,7 +309,7 @@ bound)))</tt> and less than <tt>(expt 2 (1- bound))</tt>.</p>
                                      (< ,concl ,2^bound)))
                         ,@(and hints-l `(:hints ,hints-l))))))))
       nil))
-  ;; no need to generate a (>= ... 0) linear rules so far
+  ;; no need to generate a (>= ... 0) linear rule so far
 
   (defmacro defthm-sb
       (name &key hyp bound concl