# HG changeset patch
# User wenzelm
# Date 1553804564 -3600
# Node ID 7aaebfcf313439f141e8e25a3d67b7c98a649d88
# Parent  063da22e1c9e8b57cf2c6138d3b22822a99c810f
removed junk;

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