" verilog fietype config
" Licence GPLv3

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