From 66fb58e029cc94613f072dba37a564d5186b6401 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Tue, 24 Jun 2025 18:12:36 +0100 Subject: Fix Table 1. --- sec/systemt.ltx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sec/systemt.ltx b/sec/systemt.ltx index 34b2038..7ed5870 100644 --- a/sec/systemt.ltx +++ b/sec/systemt.ltx @@ -143,7 +143,7 @@ is lacking in some regard. \midrule G\"odel & \ding{55} & \ding{51} & \ding{51} & \ding{81} & \ding{51} \\ Church & \ding{51} & \ding{55} & \ding{51} & \ding{51} & \ding{81} \\ - Eliminator & \ding{51} & \ding{51} & \ding{51} & \ding{55} & \ding{51} \\ + Eliminator & \ding{51} & \ding{51} & \ding{51} & \ding{55} & \ding{55} \\ Heap & \ding{51} & \ding{51} & \ding{81} & \ding{81} & \ding{51} \\ \bottomrule \end{tabular} -- cgit v1.2.3