From d94d07aeb137a3b06c730284494016d81a99c6d8 Mon Sep 17 00:00:00 2001
From: smmercuri <smercuri@ed.ac.uk>
Date: Thu, 16 May 2024 12:39:37 +0100
Subject: [PATCH] Fix column CSS issue for proof assessment display

---
 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 cc5fc1526..e48f225e9 100644
--- a/stack/maxima/contrib/prooflib.mac
+++ b/stack/maxima/contrib/prooflib.mac
@@ -436,7 +436,7 @@ proof_assessment_display(saa, pf) := block([st, k],
   /* Turn the st list of lists into a string to display. */
     st:dl_disp(st),
   for k:1 thru length(saa) do block(
-     st[k]:proof_line_disp(proof_column_disp(first(st[k])), proof_column_disp2(second(st[k])))
+     st[k]:proof_line_disp(proof_column_disp(first(st[k])), proof_column_disp(second(st[k])))
   ),
   st:apply(sconcat, st),  
   sconcat("<div class='proof'>", st, "</div>")
-- 
GitLab