Fix compilation with gcc 4.9

[features.git] / lib / layouts / AEA.layout

diff --git a/lib/layouts/AEA.layout b/lib/layouts/AEA.layout
index 07c8b5d8dd8de995c29f03a8109061dbb8211ab2..c932042448958f76dbaf458aabe844f068b09d7b 100644 (file)
--- a/lib/layouts/AEA.layout
+++ b/lib/layouts/AEA.layout
@@ -4,7 +4,7 @@
 # Authors : Koji Yokota <yokota@res.otaru-uc.ac.jp>
 #           Uwe Stöhr <uwestoehr@web.de>
 
-Format 93
+Format 95
 Input stdclass.inc
 Input theorems-ams.module
 Input theorems-bytype.module