cooment out delete debug log

swarm-game · Oct 20, 2024 · 11ca2e0 · 11ca2e0
1 parent 448c496
commit 11ca2e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/example/recursive-containers.sw b/example/recursive-containers.sw
@@ -579,7 +579,7 @@ def delete_insert_prop: Int -> Set Int -> Cmd Unit = \i.\t.
   let i_t = inorder t in
   let f_t = formatS t in
   if (not $ containsS x t) {
-    log $ format x;
+    // log $ format x;
     assert_eq i
       (formatL i_t)
       (formatS $ deleteS x $ insertS x t)