only output plain comments in generated Coq code#121

palmskog merged 1 commit intomasterott-lang/ott:masterfrom

fix-coq-commentsott-lang/ott:fix-coq-commentsCopy head branch name to clipboard