From 3514d48856bc8a379abac7da8da2d766e057cff8 Mon Sep 17 00:00:00 2001 From: Erik Demaine Date: Fri, 12 Oct 2018 22:18:01 -0400 Subject: [PATCH] cli's default maxSize should be Infinity, not 0 (#1739) Fix #1738 --- cli.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cli.js b/cli.js index 4da5fe79..d885abcf 100755 --- a/cli.js +++ b/cli.js @@ -44,7 +44,7 @@ const program = require("commander") "If non-zero, all user-specified sizes, e.g. in " + "\\rule{500em}{500em}, will be capped to maxSize ems. " + "Otherwise, elements and spaces can be arbitrarily large", - 0, parseInt) + Infinity, parseInt) .option("-e, --max-expand ", "Limit the number of macro expansions to the specified number, to " + "prevent e.g. infinite macro loops. If set to Infinity, the macro " +