From b3fd930dd43cb6bd34a2689fa6d8105813fc9585 Mon Sep 17 00:00:00 2001
From: yoavelmalem <yoav.el@certora.com>
Date: Wed, 2 Jul 2025 14:32:05 +0300
Subject: [PATCH] Removed send_only from conf file

---
 .../Summarization/WithEnv/WithEnvGhostSummary/runWithEnv.conf    | 1 -
 1 file changed, 1 deletion(-)

diff --git a/CVLByExample/Summarization/WithEnv/WithEnvGhostSummary/runWithEnv.conf b/CVLByExample/Summarization/WithEnv/WithEnvGhostSummary/runWithEnv.conf
index bbee6add..9f9f6795 100644
--- a/CVLByExample/Summarization/WithEnv/WithEnvGhostSummary/runWithEnv.conf
+++ b/CVLByExample/Summarization/WithEnv/WithEnvGhostSummary/runWithEnv.conf
@@ -4,6 +4,5 @@
   ],
   "verify": "DummyERC20WithTimedBalanceOf:WithEnv.spec",
   "msg": "with env",
-  "send_only": true,
   "rule_sanity": "basic"
 }