
diff -r 063da22e1c9e -r 7aaebfcf3134 src/HOL/Nitpick_Examples/Mono_Nits.thy
--- 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




