src/HOL/Matrix/FloatSparseMatrixBuilder.ML

 (*  Title:      HOL/Matrix/FloatSparseMatrixBuilder.ML
     Author:     Steven Obua
 *)
 
-signature FLOAT_SPARSE_MATIRX_BUILDER =
+signature FLOAT_SPARSE_MATRIX_BUILDER =
 sig
   include MATRIX_BUILDER
 
   structure cplex : CPLEX
 

   val cplexProg : vector -> matrix -> vector -> cplex.cplexProg * (string -> int)
   (* dual_cplexProg c A b *)
   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
 structure Inttab = Table(type key = int val ord = rev_order o int_ord);