rc coq: remove unconventional indentation
rc coq: remove unconventional indentation

The next commit will touch this file.

mawww/kakoune,jkonecny12/kakoune,jkonecny12/kakoune,jkonecny12/kakoune,jkonecny12/kakoune,mawww/kakoune,mawww/kakoune,mawww/kakoune