From a49c69555eebc16a967c9d8f443cf5f2f3f5ea78 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 12 May 2003 09:30:18 +0000 Subject: [PATCH] * src/kernel.c (bdd_default_errhandler): Call abort(), not exit(1). --- buddy/ChangeLog | 4 ++++ buddy/src/kernel.c | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/buddy/ChangeLog b/buddy/ChangeLog index 2d218afe6..6abf97a5b 100644 --- a/buddy/ChangeLog +++ b/buddy/ChangeLog @@ -1,3 +1,7 @@ +2003-05-12 Alexandre Duret-Lutz + + * src/kernel.c (bdd_default_errhandler): Call abort(), not exit(1). + 2003-05-07 Alexandre Duret-Lutz * src/bddop.c (bdd_allsat): Fix description. diff --git a/buddy/src/kernel.c b/buddy/src/kernel.c index 17319dc5f..04e76a529 100644 --- a/buddy/src/kernel.c +++ b/buddy/src/kernel.c @@ -28,7 +28,7 @@ ========================================================================*/ /************************************************************************* - $Header: /Volumes/CVS/repository/spot/spot/buddy/src/kernel.c,v 1.2 2003/05/05 13:45:07 aduret Exp $ + $Header: /Volumes/CVS/repository/spot/spot/buddy/src/kernel.c,v 1.3 2003/05/12 09:30:19 aduret Exp $ FILE: kernel.c DESCR: implements the bdd kernel functions. AUTH: Jorn Lind @@ -803,7 +803,7 @@ const char *bdd_errstring(int e) void bdd_default_errhandler(int e) { fprintf(stderr, "BDD error: %s\n", bdd_errstring(e)); - exit(1); + abort(); }