diff --git a/coqpyt/tests/test_coq_file.py b/coqpyt/tests/test_coq_file.py index 0681e8f..eefb965 100644 --- 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 \ No newline at end of file + assert not coq_file.is_valid