From 4968bbea052453473caf44599befe5d12667789f Mon Sep 17 00:00:00 2001
From: Boris Shingarov <shingarov@labware.com>
Date: Thu, 17 Oct 2024 03:49:12 -0400
Subject: [PATCH] [cosmetic] Consistently categorize HornTest>>provePos/Neg

---
 src/Refinements-Tests/HornTest.class.st | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Refinements-Tests/HornTest.class.st b/src/Refinements-Tests/HornTest.class.st
index 9aec93426..8120330bd 100644
--- a/src/Refinements-Tests/HornTest.class.st
+++ b/src/Refinements-Tests/HornTest.class.st
@@ -4,7 +4,7 @@ Class {
 	#category : #'Refinements-Tests'
 }
 
-{ #category : #tests }
+{ #category : #proving }
 HornTest >> proveNeg: txt [
 	| q |
 	q := NNFParser parse: txt.
@@ -12,7 +12,7 @@ HornTest >> proveNeg: txt [
 	self deny: q solve isSafe
 ]
 
-{ #category : #'tests - safety' }
+{ #category : #proving }
 HornTest >> provePos: txt [
 	| q |
 	q := NNFParser parse: txt.