From f86411e15dfab178cbb3c9f4123c1d0a0bd7a1a7 Mon Sep 17 00:00:00 2001 From: Scott Kostyshak Date: Sat, 5 Dec 2020 19:51:24 -0500 Subject: [PATCH] Amend ccc7c641 --- lib/layouts/theorems-ams-bytype.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/layouts/theorems-ams-bytype.inc b/lib/layouts/theorems-ams-bytype.inc index f784c3882e..25a034421e 100644 --- a/lib/layouts/theorems-ams-bytype.inc +++ b/lib/layouts/theorems-ams-bytype.inc @@ -23,7 +23,7 @@ Format 89 -Input theorem-counters-bytype.inc +Input theorems-counters-bytype.inc OutlinerName thm "Definitions & Theorems"