summaryrefslogtreecommitdiff
path: root/agda.sty
diff options
context:
space:
mode:
Diffstat (limited to 'agda.sty')
-rw-r--r--agda.sty2
1 files changed, 1 insertions, 1 deletions
diff --git a/agda.sty b/agda.sty
index 850cd05..4850719 100644
--- a/agda.sty
+++ b/agda.sty
@@ -4,7 +4,7 @@
\ProvidesPackage{agda}
-\usepackage{ifxetex, xcolor, polytable, ifthen}
+\usepackage{ifxetex, polytable, ifthen}
% XeLaTeX
\ifxetex