misc: remove unneeded coverage ignore

Safe-DS · Jan 26, 2024 · 1514cdb · 1514cdb
1 parent fb7d8cf
commit 1514cdb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/safeds_runner/server/main.py b/src/safeds_runner/server/main.py
@@ -15,5 +15,5 @@ def start_server(port: int) -> None:
 
     logging.getLogger().setLevel(logging.DEBUG)
 
-    safeds_server = SafeDsServer()  # pragma: no cover
+    safeds_server = SafeDsServer()
     safeds_server.listen(port)  # pragma: no cover