This fix is a subset of this commit:
https://github.com/GabrielDosReis/open-axiom/commit/c18ddc965ea2ac28a2c32e99dc2ac90c946a7aee
- Qian
diff --git a/src/hyper/extent2.c b/src/hyper/extent2.c
index b0b4443f..524312d0 100644
--- a/src/hyper/extent2.c
+++ b/src/hyper/extent2.c
@@ -554,7 +554,7 @@ text_height1(TextNode * node, int Ender)
{
for (; node != NULL; node = node->next) {
if (Ender == Endtokens) {
- if (node->type > -Endtokens)
+ if (node->type >= Endtokens)
return cur_height;
}
else if (node->type == Ender)