From f34bded85f8c7e035f99aa1d629a328c5749e856 Mon Sep 17 00:00:00 2001
From: Mario Carneiro <di.gama@gmail.com>
Date: Mon, 9 Dec 2024 10:30:14 +0100
Subject: [PATCH] quse: missing reraise

---
 tools-poly/poly/quse.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools-poly/poly/quse.sml b/tools-poly/poly/quse.sml
index 297ca961b9..cf93d15afd 100644
--- 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