diff --git a/Doc/Manual/Warnings.html b/Doc/Manual/Warnings.html index a2b1cc319..d5dfa1260 100644 --- a/Doc/Manual/Warnings.html +++ b/Doc/Manual/Warnings.html @@ -276,6 +276,7 @@ example.i(4): Syntax error in input.