SQUASH with 9600..."Supermonkey implementation of EIte" -- better lan…

…guage, reference #272 too
shingarov · May 9, 2024 · f7c8ef9 · f7c8ef9
1 parent 15f4446
commit f7c8ef9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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.