Adding restart-solver to get syntax highlighting in emacs

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Adding restart-solver to get syntax highlighting in emacs #112

Closed aseemr closed 5 years ago

aseemr commented 5 years ago

Hi @cpitclaudel, a simple change but making a PR to make sure that there are no unintended consequences. @mtzguido added a new pragma #reset-solver, this PR is just to get syntax highlighting for it.

cpitclaudel commented 5 years ago

Merged (from Emacs, so I'm not sure how to tell Github about it ^^), thanks!

cpitclaudel commented 5 years ago

Don't forget to add this to the completions list, too :)