From 6ff51e978d09ff03835722e8704192644e5c776d Mon Sep 17 00:00:00 2001
From: Boris Shingarov <shingarov@labware.com>
Date: Sun, 20 Oct 2024 00:40:28 -0400
Subject: [PATCH] Add missing Expr>>#<=

---
 src/Refinements/Expr.class.st | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/Refinements/Expr.class.st b/src/Refinements/Expr.class.st
index 584cb70da..b81429086 100644
--- a/src/Refinements/Expr.class.st
+++ b/src/Refinements/Expr.class.st
@@ -101,6 +101,13 @@ Expr >> <+ rhs [
 		sort: Bool sort
 ]
 
+{ #category : #'theory symbols' }
+Expr >> <= rhs [
+	^ECst
+		expr: (EMessageSend of: (MessageSend receiver: self selector: #<= argument: rhs))
+		sort: Bool sort
+]
+
 { #category : #'theory symbols' }
 Expr >> <=> rhs [
 	^ECst