src/HOL/Matrix/CplexMatrixConverter.ML
changeset 46531 eff798e48efc
parent 37788 261c61fabc98
--- a/src/HOL/Matrix/CplexMatrixConverter.ML	Sun Feb 12 22:10:33 2012 +0100
+++ b/src/HOL/Matrix/CplexMatrixConverter.ML	Fri Feb 10 22:51:21 2012 +0100
@@ -52,7 +52,7 @@
   | neg_term (cplexSum ts) = cplexSum (map neg_term ts)
   | neg_term t = cplexNeg t 
 
-fun convert_prog (cplexProg (s, goal, constrs, bounds)) = 
+fun convert_prog (cplexProg (_, goal, constrs, bounds)) = 
     let        
         fun build_naming index i2s s2i [] = (index, i2s, s2i)
           | build_naming index i2s s2i (cplexBounds (cplexNeg cplexInf, cplexLeq, cplexVar v, cplexLeq, cplexInf)::bounds)