From d5903bd3206a504b92c4a9ed32187815b5259463 Mon Sep 17 00:00:00 2001 From: Martin Date: Sun, 18 Jul 2021 11:32:15 +0200 Subject: Fix typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') 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 -- cgit v1.2.3