French docs translation updates by Siegfried

[lyx.git] / lib / layouts / amsdefs.inc

diff --git a/lib/layouts/amsdefs.inc b/lib/layouts/amsdefs.inc
index b9b0e6f988aea0e04fcb60e187942a0bb498b57d..8d27401e5569f3579bdcd86141f9ae741c3f6413 100644 (file)
--- a/lib/layouts/amsdefs.inc
+++ b/lib/layouts/amsdefs.inc
@@ -31,6 +31,7 @@ Style Proof
        LatexType             Environment
        LatexName             proof
        NextNoIndent          1
+       OptionalArgs          1
        LabelSep              xx
        ParIndent             MMM
        ParSkip               0.4