black

sr-lab · Jan 3, 2024 · ca993f7 · ca993f7
1 parent e1bf8fe
commit ca993f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coqpyt/tests/test_coq_file.py b/coqpyt/tests/test_coq_file.py
@@ -286,4 +286,4 @@ def test_space_in_path():
     # considered by CoqPyt. This was fixed by unquoting the path given
     # by coq-lsp.
     with CoqFile("tests/resources/test test/test_error.v") as coq_file:
-        assert not coq_file.is_valid
+        assert not coq_file.is_valid