src/HOL/Matrix/cplex/CplexMatrixConverter.ML

--- a/src/HOL/Matrix/cplex/CplexMatrixConverter.ML	Thu Jul 14 19:28:19 2005 +0200
+++ b/src/HOL/Matrix/cplex/CplexMatrixConverter.ML	Thu Jul 14 19:28:20 2005 +0200
@@ -49,8 +49,6 @@
      
 exception Converter of string;
 
-structure Inttab = TableFun(type key = int val ord = int_ord);
-
 fun neg_term (cplexNeg t) = t
   | neg_term (cplexSum ts) = cplexSum (map neg_term ts)
   | neg_term t = cplexNeg t