--- a/src/HOL/Tools/Nitpick/kodkod.ML Sat Oct 30 17:10:10 2021 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.ML Sat Oct 30 19:23:01 2021 +0200
@@ -125,8 +125,6 @@
rel_expr_func: rel_expr -> 'a -> 'a,
int_expr_func: int_expr -> 'a -> 'a}
- val kodkodi_version : unit -> int list
-
val fold_formula : 'a fold_expr_funcs -> formula -> 'a -> 'a
val fold_rel_expr : 'a fold_expr_funcs -> rel_expr -> 'a -> 'a
val fold_int_expr : 'a fold_expr_funcs -> int_expr -> 'a -> 'a
@@ -312,11 +310,6 @@
rel_expr_func: rel_expr -> 'a -> 'a,
int_expr_func: int_expr -> 'a -> 'a}
-fun kodkodi_version () =
- getenv "KODKODI_VERSION"
- |> space_explode "."
- |> map (the_default 0 o Int.fromString)
-
(** Auxiliary functions on Kodkod problems **)