From 11ca2e0b576d8c063b66cd2ff7be622dcb2f4fb1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ondr=CC=8Cej=20S=CC=8Cebek?= <ondras98@icloud.com>
Date: Sun, 20 Oct 2024 11:41:38 +0200
Subject: [PATCH] cooment out delete debug log

---
 example/recursive-containers.sw | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/example/recursive-containers.sw b/example/recursive-containers.sw
index 4fd626594..e05dee4eb 100644
--- 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)