From 42949f38642c435b8dcfb3c5339d44513edfc653 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <Patrick.Pelissier@gmail.com>
Date: Sat, 19 Aug 2017 21:10:45 +0200
Subject: [PATCH] Simplify(bis)

---
 m-bitset.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/m-bitset.h b/m-bitset.h
index d5ddc376..2360718d 100644
--- a/m-bitset.h
+++ b/m-bitset.h
@@ -514,7 +514,6 @@ bitset_in_str(bitset_t set, FILE *file)
   if (c != '[') return false;
   c = fgetc(file);
   while (c == '0' || c == '1') {
-    if (c != '0' && c != '1') break;
     const bool b = (c == '1');
     bitset_push_back (set, b);
     c = fgetc(file);