From 7ba32e7eefcff512473c54298acd5a4a938474a2 Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Wed, 12 Mar 2003 10:22:04 +0000
Subject: - Changed funneldefs to scaladefs

---
 doc/reference/reference.verb.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/reference/reference.verb.tex')

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]{}
-- 
cgit v1.2.3

