From e8b01f3d8364abb08b8d4677d773e5f703179572 Mon Sep 17 00:00:00 2001 From: Scott Kostyshak Date: Mon, 31 Jul 2023 18:37:10 -0400 Subject: [PATCH] Layout typo Amends e932dc45. --- lib/layouts/theorems-case.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/layouts/theorems-case.inc b/lib/layouts/theorems-case.inc index 692653b0d1..3cf64e4d70 100644 --- a/lib/layouts/theorems-case.inc +++ b/lib/layouts/theorems-case.inc @@ -28,7 +28,7 @@ End Counter caseiv GuiName "Case (Level 4)" Within caseiii - PrettyForamt "Case \arabic{caseiv}" + PrettyFormat "Case \arabic{caseiv}" LabelString "Case \arabic{caseiv}." End