diff --git a/src/plugins/sparecode/globs.ml b/src/plugins/sparecode/globs.ml
index bdbc159416ca3a3968a8000726061e9c79f48cf4..2beb56b02391c49ee0a3bbd6b49f5ee3b87a567b 100644
--- a/src/plugins/sparecode/globs.ml
+++ b/src/plugins/sparecode/globs.ml
@@ -26,7 +26,6 @@ open Cil
 let dkey = Sparecode_params.register_category "globs"
 
 let debug format = Sparecode_params.debug ~dkey ~level:2 format
-let debug' format = Sparecode_params.debug ~dkey ~level:3 format
 
 let used_variables = Hashtbl.create 257
 let var_init = Hashtbl.create 257