changeset 67560 | 0fa87bd86566 |
parent 63693 | 5b02f7757a4c |
child 74478 | 3984b1e91df6 |
--- a/src/HOL/Tools/Nitpick/kodkod_sat.ML Thu Feb 01 13:55:10 2018 +0100 +++ b/src/HOL/Tools/Nitpick/kodkod_sat.ML Thu Feb 01 15:12:57 2018 +0100 @@ -80,7 +80,7 @@ | dynamic_entry_for_info incremental (name, Internal (JNI from_version, mode, ss)) = if (incremental andalso mode = Batch) orelse - dict_ord int_ord (kodkodi_version (), from_version) = LESS then + is_less (dict_ord int_ord (kodkodi_version (), from_version)) then NONE else let