From d296f1d2bfea9fdf3ac8498b39073480ec9809c0 Mon Sep 17 00:00:00 2001
From: Boris Shingarov <shingarov@labware.com>
Date: Fri, 3 May 2024 17:17:04 -0400
Subject: [PATCH] SQUASH with 9600..."Supermonkey implementation of EIte" --
 better language, reference #272 too

---
 src/Refinements/ECst.class.st | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Refinements/ECst.class.st b/src/Refinements/ECst.class.st
index d0349cf6c..031433c6f 100644
--- a/src/Refinements/ECst.class.st
+++ b/src/Refinements/ECst.class.st
@@ -136,8 +136,9 @@ ECst >> smt2: γ [
 
 	(expr isKindOf: EApp) ifFalse: [ ^expr smt2Cast: sort in: γ ].
 
-	"BOGUS CODE!!!
-	 DO NOT MERGE THIS BEFORE WE UNDERSTAND WHY CONTROL CAN REACH HERE!"
+	"TODO: Investigate why control can reach here.
+	 See Issue#272."
+	
 	"(ECst (EApp...)):
 	Possibly need to uncurry."
 	fxyz := self splitArgs.