src/HOL/Tools/Nitpick/kodkod.ML

   getenv "KODKODI_VERSION"
   |> space_explode "."
   |> map (the_default 0 o Int.fromString)
 
 fun is_kodkodi_too_old () =
-  dict_ord int_ord (kodkodi_version (), [1, 2, 14]) = LESS
+  is_less (dict_ord int_ord (kodkodi_version (), [1, 2, 14]))
 
 (** Auxiliary functions on Kodkod problems **)
 
 fun fold_formula (F : 'a fold_expr_funcs) formula =
   case formula of