diff --git a/lib/lyx2lyx/lyx_1_4.py b/lib/lyx2lyx/lyx_1_4.py index e67e86f8f5..cd69f9f09a 100644 --- a/lib/lyx2lyx/lyx_1_4.py +++ b/lib/lyx2lyx/lyx_1_4.py @@ -372,7 +372,7 @@ def convert_comment(document): #but if this happens deal with it greacefully adding #the missing \end_deeper. i = len(document.body) - 1 - document.body[i:i] = ["\end_deeper",""] + document.body[i:i] = ["\\end_deeper",""] return else: del document.body[i]