Fix Table 1.

1 files changed, 1 insertions, 1 deletions

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}