builder.sce | 2 ++
1 file changed, 2 insertions(+)
--- Overload_Toolbox.orig/builder.sce 2009-08-25 21:50:12.000000000 +0200
+++ Overload_Toolbox/builder.sce 2009-09-12 01:29:29.000000000 +0200
@@ -23,3 +23,5 @@
printf ('\nYou can see a demo with exec demos/overload.dem\n')
// ====================================================================
+exit();
+