Allow filename replacements to be dotted libnames

JasonGross · Nov 4, 2021 · af9fbb2 · af9fbb2
1 parent 69f5f6a
commit af9fbb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/diagnose_error.py b/diagnose_error.py
@@ -122,7 +122,7 @@ def make_reg_string(output, strict_whitespace=False):
     else:
         re_string = re_escape(error_string)
     re_string = re.sub(r'tmp(?:[A-Za-z\d]|\\_)+',
-                       r'[A-Za-z_\\d]+',
+                       r'[A-Za-z_\\d\\.]+',
                        re_string)
     if r'Universe\ instance\ should\ have\ length\ ' not in re_string:
         re_string = re.sub(r'[\d]+',