diff --git a/C/sysbits.c b/C/sysbits.c index e7b819cd3..a987c4c0b 100644 --- a/C/sysbits.c +++ b/C/sysbits.c @@ -1254,6 +1254,10 @@ InteractSIGINT(int ch) { #endif } return -1; + case 'b': + /* continue */ + Yap_signal (YAP_BREAK_SIGNAL); + return 1; case 'c': /* continue */ return 1; diff --git a/changes-5.1.html b/changes-5.1.html index 8d364993c..664b3bfd4 100644 --- a/changes-5.1.html +++ b/changes-5.1.html @@ -16,6 +16,8 @@

Yap-5.1.0: