X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/clg/blobdiff_plain/e642fd5b9e5355d4179df41865bb003191d1165b..c25984b636fffa9bf04165f624cfe2f55ed91a81:/tools/config.lisp

diff --git a/tools/config.lisp b/tools/config.lisp
index 04276fe..432c906 100644
--- a/tools/config.lisp
+++ b/tools/config.lisp
@@ -155,8 +155,7 @@   (defun sbcl>= (major minor micro &optional patch)
       (or 
        (> %major major)
        (and (= %major major) (> %minor minor))
-       (and (= %major major) (= %minor minor) (>= %micro micro))
-       (and (= %major major) (= %minor minor) (>= %micro micro))
+       (and (= %major major) (= %minor minor) (> %micro micro))
        (and 
 	(= %major major) (= %minor minor) (= %micro micro)
 	(>= (or %patch 0) (or patch 0))))))