From 03a370464b66dfc05c6fc34a096eaa1ff603444b Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Thu, 14 Dec 2023 22:06:53 +0100 Subject: [PATCH] fix altTitle for backwards compatibility --- client/src/components/inventory.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/client/src/components/inventory.tsx b/client/src/components/inventory.tsx index d83719c..0622293 100644 --- a/client/src/components/inventory.tsx +++ b/client/src/components/inventory.tsx @@ -101,7 +101,7 @@ function InventoryItem({item, name, displayName, locked, disabled, newly, showDo // Note: This is somewhat a hack as the statement of lemmas comes currently in the form // `Namespace.statement_name (x y : Nat) : some type` const title = locked ? "Not unlocked yet" : - disabled ? "Not available in this level" : item.altTitle.substring(item.altTitle.indexOf(' ') + 1) + disabled ? "Not available in this level" : (item.altTitle ? item.altTitle.substring(item.altTitle.indexOf(' ') + 1) : '') const [copied, setCopied] = useState(false)