src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML

     (trace_msg ctxt (fn () => "Duplicate fact " ^ quote name ^ " when " ^ when); def)
   | Graph.UNDEF name =>
     (trace_msg ctxt (fn () => "Unknown fact " ^ quote name ^ " when " ^ when); def)
   | exn =>
     if Exn.is_interrupt exn then
-      reraise exn
+      Exn.reraise exn
     else
       (trace_msg ctxt (fn () => "Internal error when " ^ when ^ ":\n" ^ Runtime.exn_message exn);
        def)
 
 fun graph_info G =