--- a/src/HOL/Nitpick_Examples/Mono_Nits.thy Thu Mar 28 13:20:57 2019 +0100
+++ b/src/HOL/Nitpick_Examples/Mono_Nits.thy Thu Mar 28 21:22:44 2019 +0100
@@ -199,6 +199,4 @@
ML_val {* check_theory @{theory Relation} *}
*)
-ML \<open>getenv "ISABELLE_TMP"\<close>
-
end