--- 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