# HG changeset patch
# User haftmann
# Date 1328911084 -3600
# Node ID 89970ca96284ebe8fdcc3749f9861d8d9a4a9d0c
# Parent  eff798e48efc0214aad86da3605f8bd451c91a25
corrected typo

diff -r eff798e48efc -r 89970ca96284 src/HOL/Matrix/FloatSparseMatrixBuilder.ML
--- a/src/HOL/Matrix/FloatSparseMatrixBuilder.ML	Fri Feb 10 22:51:21 2012 +0100
+++ b/src/HOL/Matrix/FloatSparseMatrixBuilder.ML	Fri Feb 10 22:58:04 2012 +0100
@@ -2,7 +2,7 @@
     Author:     Steven Obua
 *)
 
-signature FLOAT_SPARSE_MATIRX_BUILDER =
+signature FLOAT_SPARSE_MATRIX_BUILDER =
 sig
   include MATRIX_BUILDER
 
@@ -44,7 +44,7 @@
   val dual_cplexProg : vector -> matrix -> vector -> cplex.cplexProg * (string -> int)
 end;
 
-structure FloatSparseMatrixBuilder : FLOAT_SPARSE_MATIRX_BUILDER =
+structure FloatSparseMatrixBuilder : FLOAT_SPARSE_MATRIX_BUILDER =
 struct
 
 type float = Float.float