From cc73a786ddcac92515c86263a4a9b11a4319cbde Mon Sep 17 00:00:00 2001
From: Chris Sangwin <C.J.Sangwin@ed.ac.uk>
Date: Mon, 11 Dec 2023 11:18:59 +0000
Subject: [PATCH] Fix test case in the proof library.

---
 stack/maxima/contrib/prooflib.mac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stack/maxima/contrib/prooflib.mac b/stack/maxima/contrib/prooflib.mac
index e28fd163e..d3b9ea7e7 100644
--- a/stack/maxima/contrib/prooflib.mac
+++ b/stack/maxima/contrib/prooflib.mac
@@ -171,7 +171,7 @@ s_test_case(proof_alternatives(proof(A,B,C,D)), [proof(A,B,C,D)]);
 s_test_case(proof_alternatives(proof_c(A,B)), [proof_c(A,B),proof_c(B,A)]);
 s_test_case(proof_alternatives(proof_iff(A,B)), [proof_iff(A,B),proof_iff(B,A)]);
 s_test_case(proof_alternatives(proof_ind(A,B,C,D)), [proof_ind(A,B,C,D),proof_ind(A,C,B,D)]);
-s_test_case(proof_alternatives(proof_cases(A,B,C)), [proof_iff(A,B,C),proof_iff(A,C,B)]);
+s_test_case(proof_alternatives(proof_cases(A,B,C)), [proof_cases(A,B,C),proof_cases(A,C,B)]);
 
 
 /******************************************************************/
-- 
GitLab