src/Pure/ML-Systems/compiler_polyml-5.2.ML
changeset 31480 05937d6aafb5
parent 31312 1c00e4ff3c99
child 32738 15bb09ca0378
     1.1 --- a/src/Pure/ML-Systems/compiler_polyml-5.2.ML	Sat Jun 06 21:46:36 2009 +0200
     1.2 +++ b/src/Pure/ML-Systems/compiler_polyml-5.2.ML	Sat Jun 06 21:47:02 2009 +0200
     1.3 @@ -38,7 +38,7 @@
     1.4          PolyML.compiler (get, parameters) ())
     1.5        handle exn =>
     1.6         (put ("Exception- " ^ General.exnMessage exn ^ " raised");
     1.7 -        error (output ()); raise exn);
     1.8 +        error (output ()); reraise exn);
     1.9    in if verbose then print (output ()) else () end;
    1.10  
    1.11  fun use_file context verbose name =