diff options
| author | Guillermo Ramos | 2015-07-21 01:53:02 +0200 |
|---|---|---|
| committer | Guillermo Ramos | 2015-07-21 01:53:08 +0200 |
| commit | 07277c50c42567460c719ca6b898b0c2ca95c60c (patch) | |
| tree | c5efcd2cfd0fd9fe1e53eb600854ef7cb6fb2a10 /ec-defs.tex | |
| parent | 740b7982238ffe8c2eaae79fd153117fd258ff04 (diff) | |
| download | tfm-07277c50c42567460c719ca6b898b0c2ca95c60c.tar.gz | |
20/06/15
Diffstat (limited to 'ec-defs.tex')
| -rw-r--r-- | ec-defs.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ec-defs.tex b/ec-defs.tex index 1ebecc6..90dfb6d 100644 --- a/ec-defs.tex +++ b/ec-defs.tex @@ -187,7 +187,7 @@ \newcounter{bnf} \lstnewenvironment{bnf}[2][]{ - \renewcommand\lstlistingname{Gramática} + \renewcommand\lstlistingname{Grammar} \setcounter{lstlisting}{\value{bnf}} \lstset{language=bnf,caption={#2},#1} } |