fix the linter

Author: fchapoton

src/sage/interfaces/singular.py

@@ -1409,7 +1409,7 @@ def _repr_(self):
             # this is our cue that singular uses `rp` instead of `ip`
             if singular_name_mapping['invlex'] == 'rp' and 'doctest' in str(get_display_manager()):
                 s = re.sub('^(// .*block.* : ordering )rp$', '\\1ip',
-                           s, 0, re.MULTILINE);
+                           s, 0, re.MULTILINE)
         return s
 
     def __copy__(self):