From 1ea7573528d9ca241fe027aeec8bd06a37bdd55e Mon Sep 17 00:00:00 2001
From: jpdias <jpdias@live.com.pt>
Date: Wed, 29 Sep 2021 00:26:34 +0100
Subject: [PATCH] run format

---
 test-pbt/bounded-stack_spec.js | 22 ++++++++++++----------
 1 file changed, 12 insertions(+), 10 deletions(-)

diff --git a/test-pbt/bounded-stack_spec.js b/test-pbt/bounded-stack_spec.js
index d57d5ff..8238f91 100644
--- a/test-pbt/bounded-stack_spec.js
+++ b/test-pbt/bounded-stack_spec.js
@@ -10,16 +10,18 @@ function isLessOrEqual(num1, num2) {
 }
 
 describe("bounded stack", function () {
-  jsc.property("max length is never passed", "array number", "nat", function (
-    arr,
-    nat
-  ) {
-    let boundedStack = new BoundedStack(nat);
-    arr.forEach((element) => {
-      boundedStack.push(element);
-    });
-    return isLessOrEqual(boundedStack.stack.length, nat);
-  });
+  jsc.property(
+    "max length is never passed",
+    "array number",
+    "nat",
+    function (arr, nat) {
+      let boundedStack = new BoundedStack(nat);
+      arr.forEach((element) => {
+        boundedStack.push(element);
+      });
+      return isLessOrEqual(boundedStack.stack.length, nat);
+    }
+  );
 
   jsc.property(
     "peeked element is always the last inserted",