From 6351aae029ca5a24b12d6680171fac7b0f41a391 Mon Sep 17 00:00:00 2001
From: Boris Shingarov <shingarov@labware.com>
Date: Thu, 24 Oct 2024 06:27:33 -0400
Subject: [PATCH] Remove useless and confusing Expr>>,

See https://github.com/ucsd-progsys/liquid-fixpoint/pull/715
---
 src/Refinements/Expr.class.st | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/src/Refinements/Expr.class.st b/src/Refinements/Expr.class.st
index 00467ac58..3f697ce3b 100644
--- a/src/Refinements/Expr.class.st
+++ b/src/Refinements/Expr.class.st
@@ -71,15 +71,6 @@ Expr >> + rhs [
 		sort: Int sort
 ]
 
-{ #category : #'as yet unclassified' }
-Expr >> , anotherPred [
-"
-instance Semigroup Pred where
-  p1 <> p2 = PAnd [p1, p2]
-"
-	^PAnd of: { self . anotherPred }
-]
-
 { #category : #'theory symbols' }
 Expr >> - rhs [
 	^ECst