[cosmetic] Categorize Expr>>&, |

shingarov · Oct 24, 2024 · 093b569 · 093b569
1 parent b4d5fe7
commit 093b569
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Refinements/Expr.class.st b/src/Refinements/Expr.class.st
@@ -59,7 +59,7 @@ Expr class >> splitEApp: e [
 
 ]
 
-{ #category : #'as yet unclassified' }
+{ #category : #'theory symbols' }
 Expr >> & anotherPred [ 
 	^PAnd of: { self . anotherPred }
 ]
@@ -482,7 +482,7 @@ Expr >> without: rhs [
 		sort: rhs sort mkSetSort
 ]
 
-{ #category : #'as yet unclassified' }
+{ #category : #'theory symbols' }
 Expr >> | rhs [ 
 	^POr of: { self . rhs }
 ]