src/Pure/goal.ML

 (* future_result *)
 
 fun future_result ctxt result prop =
   let
     val thy = Proof_Context.theory_of ctxt;
-    val _ = Context.reject_draft thy;
     val cert = Thm.cterm_of thy;
     val certT = Thm.ctyp_of thy;
 
     val assms = Assumption.all_assms_of ctxt;
     val As = map Thm.term_of assms;