From 68865039b4ff2c86bf332b3fbedb4849e21c570f Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Thu, 18 May 2006 15:23:54 +0000
Subject: [PATCH] call abort() instead of exit()

[r7761]
---
 ir/common/error.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ir/common/error.c b/ir/common/error.c
index 0cc58df50..5f1d36700 100644
--- a/ir/common/error.c
+++ b/ir/common/error.c
@@ -28,5 +28,5 @@ NORETURN panic(const char *fmt, ...)
   vfprintf(stderr, fmt, ap);
   va_end(ap);
   putc('\n', stderr);
-  exit(EXIT_FAILURE);
+  abort();
 }
-- 
2.20.1