src/HOL/Tools/Nitpick/nitrox.ML

          (* ("overlord", "true"), *)
          ("show_consts", "true"),
          ("format", "1000"),
          ("max_potential", "0"),
          (* ("timeout", "240 s"), *)
-         ("expect", "genuine")]
+         ("expect", Nitpick.genuineN)]
         |> Nitpick_Isar.default_params @{theory}
       val auto = false
       val i = 1
       val n = 1
       val step = 0