removed dead code (thanks to ocaml 3.09)

[helm.git] / helm / matita / matitamakeLib.ml

diff --git a/helm/matita/matitamakeLib.ml b/helm/matita/matitamakeLib.ml
index 998dcd70edf225f595509a23ff822d715f63fb98..a2640a42fdd383fad3d83dc444019d98f97c9bc6 100644 (file)
--- a/helm/matita/matitamakeLib.ml
+++ b/helm/matita/matitamakeLib.ml
@@ -191,7 +191,6 @@ let vt100 s =
   let rex_d = Pcre.regexp "^Debug" in
   let rex_noendline = Pcre.regexp "\\n" in
   let s = Pcre.replace ~rex:rex_noendline s in
-  let len = String.length s in
   let tokens = Pcre.split ~rex s in
   let logger = ref MatitaLog.message in
   let rec aux =