src/sage/interfaces/singular.py: improve GNU Info OSError message

There's no reason to say "Error:" again when we raise an OSError.
orlitzky · Nov 7, 2024 · ca84f12 · ca84f12
1 parent 69e8efd
commit ca84f12
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/sage/interfaces/singular.py b/src/sage/interfaces/singular.py
@@ -2378,15 +2378,15 @@ def get_docstring(name):
         sage: get_docstring('groebner')
         Traceback (most recent call last):
         ...
-        OSError: Error: GNU Info is not installed. Singular's
-        documentation will not be available.
+        OSError: GNU Info is not installed. Singular's documentation
+        will not be available.
         sage: Info().unhide()
 
     """
     from sage.features.info import Info
 
     if not Info().is_present():
-        raise OSError("Error: GNU Info is not installed. Singular's "
+        raise OSError("GNU Info is not installed. Singular's "
                       "documentation will not be available.")
     import subprocess
     cmd_and_args = ["info", f"--node={name}", "singular"]