m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 72b0e46..215fc3c 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
# Vim syntax highlighting for Certora
-`syntax.vim` provides Vim syntax highlighting directives for Certora prover's
+`certora.vim` provides Vim syntax highlighting directives for Certora prover's
specification language. Put it in your `~/.vim/syntax/` directory, and add a
`~/.vim/ftdetect/certora.vim` file with