From 86fd7dbed56b46b009713a39d0a378e37da56d62 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sat, 17 Mar 2018 09:43:45 +0100
Subject: [PATCH] ngspiceMODULE.hxx.xml, $finish, use controlled_exit()

instead of exit()
---
 src/spicelib/devices/adms/admst/ngspiceMODULE.hxx.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/spicelib/devices/adms/admst/ngspiceMODULE.hxx.xml b/src/spicelib/devices/adms/admst/ngspiceMODULE.hxx.xml
index d92922348..3a28829b6 100644
--- a/src/spicelib/devices/adms/admst/ngspiceMODULE.hxx.xml
+++ b/src/spicelib/devices/adms/admst/ngspiceMODULE.hxx.xml
@@ -2658,7 +2658,7 @@
       <admst:text format="printf(&quot;\\n&quot;);\n"/>
     </admst:when>
     <admst:when test="function[name='\$finish']">
-      <admst:text format="exit("/>
+      <admst:text format="controlled_exit("/>
       <admst:join select="function/arguments" separator=",">
       <admst:text format="%(e(tree))"/>
       </admst:join>