verifier documentation

[cacao.git] / doc / handbook / cacao.tex

diff --git a/doc/handbook/cacao.tex b/doc/handbook/cacao.tex
index f5206af8ea5d640be62a4a481fcc0e6285be3a0a..d7beeb2bced88254fd3e5fe8c0e60cfc18da4aed 100644 (file)
--- a/doc/handbook/cacao.tex
+++ b/doc/handbook/cacao.tex
@@ -1,4 +1,5 @@
 \documentclass[a4paper,twoside]{book}
+\usepackage{latexsym}
 
 %\pagestyle{myheadings} \footheight 12pt \footskip 72pt