" verilog indent removal
" Licence GPLv3

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