diff options
| -rw-r--r-- | sec/systemt.ltx | 2 |
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} |