diff --git a/sparsify/sparsify.ml b/sparsify/sparsify.ml index e79fe7896..80c875c4c 100644 --- a/sparsify/sparsify.ml +++ b/sparsify/sparsify.ml @@ -17,7 +17,6 @@ *) open Unix -open Scanf open Printf open Common_gettext.Gettext