Renamed sparseMatrix.ml to match module name

goblint · Nov 28, 2024 · 40996b7 · 40996b7
1 parent 215b25e
commit 40996b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...lity/sparseImplementation/sparseMatrix.ml → ...uality/sparseImplementation/listMatrix.ml b/...lity/sparseImplementation/sparseMatrix.ml → ...uality/sparseImplementation/listMatrix.ml
@@ -184,7 +184,7 @@ module ListMatrix: AbstractMatrix =
       failwith "deprecated"
 
     let normalize_with m = Timing.wrap "normalize_with" normalize_with m
-    
+
     let normalize (m : t) : t Option.t =
       let entries = m in
       let col_count = num_cols m in