src/Pure/PIDE/command.ML

 end;
 
 val _ =
   print_function "print_state"
     (fn {command_name, ...} =>
-      SOME {delay = NONE, pri = 1, persistent = true, strict = true,
+      SOME {delay = NONE, pri = 1, persistent = false, strict = true,
         print_fn = fn tr => fn st' =>
           let
             val is_init = Keyword.is_theory_begin command_name;
             val is_proof = Keyword.is_proof command_name;
             val do_print =