Fixes to the theorem modules.

[features.git] / lib / layouts / theorems-ams.module

diff --git a/lib/layouts/theorems-ams.module b/lib/layouts/theorems-ams.module
index 5947da46a7b37e9e13fc015540b3c8d5f2cd7203..8781d7eb73c721bf19a8a2c79c7f9630c4348848 100644 (file)
--- a/lib/layouts/theorems-ams.module
+++ b/lib/layouts/theorems-ams.module
@@ -26,6 +26,6 @@ Preamble
 EndPreamble
 
 Input theorems-order.inc
-Input theorems.inc
+Input theorems-ams.inc
 Input theorems-starred.inc
 Input theorems-proof.inc