src/Pure/ML-Systems/polyml-5.1.ML

 (*  Title:      Pure/ML-Systems/polyml-5.1.ML
 
 Compatibility wrapper for Poly/ML 5.1.
 *)
+
+fun reraise exn = raise exn;
 
 use "ML-Systems/thread_dummy.ML";
 use "ML-Systems/ml_name_space.ML";
 use "ML-Systems/polyml_common.ML";
 use "ML-Systems/compiler_polyml-5.0.ML";