+def remove_inset_latex(document):
+ "Replace inset latex with layout LaTeX"
+ body = document.body
+
+ i = 0
+ while 1:
+ i = find_token(body, '\\begin_inset Latex', i)
+ if i == -1:
+ return
+
+ body[i] = body[i].replace('\\begin_inset Latex', '\\layout LaTeX')
+ i = find_token(body, '\\end_inset', i)
+ if i == -1:
+ #this should not happen
+ return
+ del body[i]
+
+