quse: missing reraise

HOL-Theorem-Prover · Dec 11, 2024 · f34bded · f34bded
1 parent 8140422
commit f34bded
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools-poly/poly/quse.sml b/tools-poly/poly/quse.sml
@@ -24,7 +24,7 @@ fun useScript fname =
       val istream = TextIO.openIn fname
       val reader = HolParser.streamToReader true fname istream
       val _ = use_reader fname reader
-              handle e => (TextIO.closeIn istream; raise e)
+              handle e => (TextIO.closeIn istream; PolyML.Exception.reraise e)
     in
       TextIO.closeIn istream
     end