src/HOL/Matrix/ROOT.ML

--- a/src/HOL/Matrix/ROOT.ML	Fri Jul 09 17:00:42 2010 +0200
+++ b/src/HOL/Matrix/ROOT.ML	Mon Jul 12 08:58:12 2010 +0200
@@ -1,1 +1,2 @@
-use_thys ["SparseMatrix", "cplex/Cplex"];
+
+use_thy "Cplex";