--- a/src/HOL/Nitpick_Examples/Tests_Nits.thy	Thu Nov 25 12:54:21 2021 +0100
+++ b/src/HOL/Nitpick_Examples/Tests_Nits.thy	Thu Nov 25 19:56:01 2021 +0100
@@ -11,6 +11,6 @@
 imports Main
 begin
 
-ML \<open>() |> getenv "KODKODI" <> "" ? Nitpick_Tests.run_all_tests\<close>
+ML \<open>if getenv "KODKODI" = "" then () else Nitpick_Tests.run_all_tests \<^context>\<close>
 
 end