1# -*- mode: snippet -*-
 2# key: code
 3# expand-env: ((yas-indent-line 'fixed))
 4# --
 5\begin{listing}[!ht]
 6  \begin{minted}[frame=single,gobble=4]{coq}
 7    $0
 8  \end{minted}
 9  \caption{$1}
10\end{listing}