" Author        : swytch
" Created       : 06/05/2020
" License       : GPLv3
" Description   : verilog fietype config

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