Merge 3a0bdfa into f9f6f41

dubzzz · Dec 15, 2018 · 4574e44 · 4574e44
2 parents f9f6f41 + 3a0bdfa
commit 4574e44
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/check/model/commands/CommandsArbitrary.ts b/src/check/model/commands/CommandsArbitrary.ts
@@ -51,7 +51,7 @@ class CommandsArbitrary<Model extends object, Real, RunResult> extends Arbitrary
     const emptyOrNil = shrunkOnce
       ? Stream.nil<Shrinkable<CommandWrapper<Model, Real, RunResult>>[]>()
       : new Stream([[]][Symbol.iterator]());
-    const size = this.lengthArb.shrinkableFor(items.length - 1, false);
+    const size = this.lengthArb.shrinkableFor(items.length - 1, shrunkOnce);
 
     return emptyOrNil
       .join(size.shrink().map(l => items.slice(0, l.value).concat(items[items.length - 1]))) // try: remove items except the last one