" verilog indent removal
" Licence LGPL v3.0

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