Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/kodkod.ML
changeset 67560 0fa87bd86566
parent 64304 96bc94c87a81
child 71664 1f3d9a9dd42a 
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Thu Feb 01 13:55:10 2018 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Thu Feb 01 15:12:57 2018 +0100
@@ -326,7 +326,7 @@
   |> 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 **)
isabelle