diff options
Diffstat (limited to 'doc/reference/reference.verb.tex')
-rw-r--r-- | doc/reference/reference.verb.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/reference/reference.verb.tex b/doc/reference/reference.verb.tex index 7e011563b1..4e76f28cfc 100644 --- a/doc/reference/reference.verb.tex +++ b/doc/reference/reference.verb.tex @@ -2,7 +2,7 @@ \documentclass[11pt]{report} -\usepackage{fleqn,a4wide,modefs,math,prooftree,funneldefs,vquote} +\usepackage{fleqn,a4wide,modefs,math,prooftree,scaladefs,vquote} \newcommand{\ifqualified}[1]{} \newcommand{\iflet}[1]{} |