Adding braces around listing captions (to allow commas).

lordqwerty · Jul 11, 2013 · 2f23b74 · 2f23b74
1 parent 52a9b4e
commit 2f23b74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/defs.tex b/doc/defs.tex
@@ -224,7 +224,7 @@
 
 %% Language definition
 \lstnewenvironment{easycrypt}[2][]%
-  {\lstset{language=easycrypt,caption=#2,#1}}%
+  {\lstset{language=easycrypt,caption={#2},#1}}%
   {}
 
 \newcommand{\rawec}[2][basicstyle=\normalsize\sffamily,mathescape]{\lstinline[language=easycrypt,#1]{#2}}