From e177153f10aa4c5155be6860e9b6c7c51381a186 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 14 Mar 2025 11:12:11 -0400 Subject: [PATCH] remove dead comment --- src/prometheus/tiny_httpd_prometheus.mli | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/prometheus/tiny_httpd_prometheus.mli b/src/prometheus/tiny_httpd_prometheus.mli index dfac868a..60083b76 100644 --- a/src/prometheus/tiny_httpd_prometheus.mli +++ b/src/prometheus/tiny_httpd_prometheus.mli @@ -72,11 +72,6 @@ module Histogram : sig val add : t -> float -> unit end -(* TODO: - module Histogram : sig - end -*) - val http_middleware : Registry.t -> Server.Middleware.t (** Middleware to get basic metrics about HTTP requests *)