diff options
| author | Martin <m@m-chrzan.xyz> | 2021-07-18 11:32:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-18 11:32:15 +0200 |
| commit | d5903bd3206a504b92c4a9ed32187815b5259463 (patch) | |
| tree | a1a318caccc609b6b7f8780e635219603549fad0 | |
| parent | 004fe48c4c311f3db60b2b2a9dc3dc3acb65b7cc (diff) | |
Fix typo
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |