From 56248e66be0b8fe7c7e389ccf4fdb9c1544fc694 Mon Sep 17 00:00:00 2001
From: Steven de Oliveira <de.oliveira.steven@gmail.com>
Date: Mon, 9 Oct 2023 17:31:43 +0200
Subject: [PATCH] Poetry

---
 src/lib/structures/profiling.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/lib/structures/profiling.ml b/src/lib/structures/profiling.ml
index d92dcbd66..9dd5b5a3e 100644
--- a/src/lib/structures/profiling.ml
+++ b/src/lib/structures/profiling.ml
@@ -250,9 +250,6 @@ let decision d origin =
     Printer.print_err
       "state.decision_lvl = %d et d = %d"
       state.decision_lvl d;
-    (* TODO(Steven): if nobody knows how to use the previous print to debug
-       anything, I suggest we either remove `d` or get rid the invariant:
-       #(calls to Profiling.decision) = d. *)
     assert false
   end;
   state.assumes_current_lvl <- 0;