Removed one bug with leading zeros in concatenate

JCumin · Jun 13, 2017 · 72a8ce3 · 72a8ce3
1 parent aa34a54
commit 72a8ce3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/predicates.pl b/src/predicates.pl
@@ -1420,7 +1420,6 @@
         L = 'integer':0
     ;   Integers = 'yes',
         List = [J|TList],
-        J #\= 0,
         integer_value('integer':'positive':[J|TList], I),
         L = 'integer':I
     ;   Integers = 'no'