" verilog fietype config
" Licence MIT

noremap <leader><Enter> :w! \| :CoqRunToCursor<CR>