diff --git a/configure b/configure
index 8c688717..d4fb780c 100755
--- a/configure
+++ b/configure
@@ -230,7 +230,7 @@ OCAML_VERSION=$($OCAMLOPT -version)
 OCAML_VERSION_MAJOR=${OCAML_VERSION%%.*}
 OCAML_VERSION_MIDDLE=${OCAML_VERSION%.*}
 OCAML_VERSION_MIDDLE=${OCAML_VERSION_MIDDLE#*.}
-if [ $OCAML_VERSION_MAJOR -gt 3 ] || [ $OCAML_VERSION_MAJOR -eq 3 ] && [ $OCAML_VERSION_MIDDLE -ge 12 ]; then
+if [ $OCAML_VERSION_MAJOR -eq 3 ] && [ $OCAML_VERSION_MIDDLE -ge 12 ] || [ $OCAML_VERSION_MAJOR -gt 3 ]; then
     echo-ok $OCAML_VERSION
 else
     echo-err $OCAML_VERSION