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"
 }