# HG changeset patch
# User nipkow
# Date 1363725315 -3600
# Node ID fa84494bf3a0219408c489e45504de31b53437ef
# Parent  e239856ca8a21023353e640aa469119b52fb96fa
get rid of xcolor warnings

diff -r e239856ca8a2 -r fa84494bf3a0 src/Doc/ProgProve/document/prelude.tex
--- a/src/Doc/ProgProve/document/prelude.tex	Tue Mar 19 15:59:58 2013 +0100
+++ b/src/Doc/ProgProve/document/prelude.tex	Tue Mar 19 21:35:15 2013 +0100
@@ -25,7 +25,7 @@
 \renewcommand*\descriptionlabel[1]{\hspace\labelsep \textbf{#1}\hfil}
 
 % this should be the last package used
-\usepackage{color}
+\usepackage{xcolor}
 \definecolor{linkcolor}{rgb}{0,0,0.4}
 \usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,
             filecolor=linkcolor,pagecolor=linkcolor,