Add missing Expr>>#<=

shingarov · Oct 20, 2024 · 6ff51e9 · 6ff51e9
1 parent e882b8f
commit 6ff51e9
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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