Also account for development versions

diff --git a/lib/lyx2lyx/lyx_2_3.py b/lib/lyx2lyx/lyx_2_3.py
index 09b1c6322721d1e9723fb4d63923cab63789b443..cdbaefbe98d06434b733affcac6301599b0f0877 100644 (file)
--- a/lib/lyx2lyx/lyx_2_3.py
+++ b/lib/lyx2lyx/lyx_2_3.py
@@ -1847,7 +1847,7 @@ def convert_dashligatures(document):
 
     i = find_token(document.header, "\\use_microtype", 0)
     if i != -1:
-        if document.start == 508:
+        if document.start > 474 and document.start < 509:
             # This was created by LyX 2.2
             document.header[i+1:i+1] = ["\\use_dash_ligatures false"]
         else: