diff --git a/src/error.c b/src/error.c index fb55679719..e55f84b855 100644 --- a/src/error.c +++ b/src/error.c @@ -548,7 +548,7 @@ void ErrorMayQuit(const Char * msg, Int arg1, Int arg2) void CheckIsPossList(const Char * desc, Obj poss) { if ( ! IS_POSS_LIST( poss ) ) { - ErrorQuit("%s: must be a dense list of positive integers", + ErrorMayQuit("%s: must be a dense list of positive integers", (Int)desc, 0 ); } } @@ -560,7 +560,7 @@ void CheckIsPossList(const Char * desc, Obj poss) void CheckIsDenseList(const Char * desc, const Char * listName, Obj list) { if (!IS_DENSE_LIST(list)) { - ErrorQuit("%s: <%s> must be a dense list", (Int)desc, (Int)listName); + ErrorMayQuit("%s: <%s> must be a dense list", (Int)desc, (Int)listName); } }