# HG changeset patch
# User Tuomo Valkonen <tuomov@iki.fi>
# Date 1630421733 -10800
# Node ID 86707a701e2b11b217e8374a6e498d40b1634ae3
# Parent  ccbd8f5f1c34856b480ca2d49610dc774c2f0a1a
rethrow instead of throw

diff -r ccbd8f5f1c34 -r 86707a701e2b src/Visualise.jl
--- a/src/Visualise.jl	Tue Aug 31 17:55:16 2021 +0300
+++ b/src/Visualise.jl	Tue Aug 31 17:55:33 2021 +0300
@@ -210,7 +210,7 @@
             # the next iteration is finished.
             printstyled("\rUser interrupt—finishing up.\n", bold=true, color=202)
         else
-            throw(ex)
+            rethrow(ex)
         end
     end