src/Pure/Tools/simplifier_trace.ML

             (fn tab => (Inttab.lookup tab serial, Inttab.delete_safe serial tab))
       in
         (case result of
           SOME promise => Future.fulfill promise reply
         | NONE => ()) (* FIXME handle protocol failure, just like in active.ML (!?) *)
-      end handle exn => if Exn.is_interrupt exn then () (*sic!*) else reraise exn)
+      end handle exn => if Exn.is_interrupt exn then () (*sic!*) else Exn.reraise exn)
 
 
 
 (** attributes **)