diff options
Diffstat (limited to 'agda.sty')
-rw-r--r-- | agda.sty | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ \ProvidesPackage{agda} -\usepackage{ifxetex, xcolor, polytable, ifthen} +\usepackage{ifxetex, polytable, ifthen} % XeLaTeX \ifxetex |