src/HOL/Matrix/LP.thy

--- a/src/HOL/Matrix/LP.thy	Fri Feb 05 14:33:50 2010 +0100
+++ b/src/HOL/Matrix/LP.thy	Mon Feb 08 14:06:41 2010 +0100
@@ -3,7 +3,7 @@
 *)
 
 theory LP 
-imports Main
+imports Main Lattice_Algebras
 begin
 
 lemma linprog_dual_estimate: