From: Arnaud Giersch Date: Sun, 3 Mar 2013 15:31:34 +0000 (+0100) Subject: Don't abort when nb == 0. X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba-papers.git/commitdiff_plain/242a30e8605acd45f545de213073de8f0c021f1a?hp=242a30e8605acd45f545de213073de8f0c021f1a Don't abort when nb == 0. ---