From ca993f7033587aefb756905c1083487a42f3b8be Mon Sep 17 00:00:00 2001 From: pcarrott Date: Wed, 3 Jan 2024 23:11:54 +0000 Subject: [PATCH] black --- coqpyt/tests/test_coq_file.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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