From 9f1e32e92c416bae08f4533af8fef6310257955e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Fri, 16 Feb 2018 18:40:12 +0100
Subject: [PATCH] Remove wrong TODOs

---
 src/CPS.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/CPS.ml b/src/CPS.ml
index 37ad1b9..dca837e 100644
--- a/src/CPS.ml
+++ b/src/CPS.ml
@@ -80,11 +80,9 @@ let rec cps_term_inner (t: S.term) (cont: T.variable) (nameHint: string option)
             T.Print (T.vvar termVal,
             T.TailCall(T.vvar cont, T.vvars [termVal]))
 | S.Let (var, value, next) ->
-        (* TODO still verbose here *)
         light_term var value (Some (Atom.hint var)) @@
             cps_term_inner next cont None
 | S.IfZero (expr, tIf, tElse) ->
-        (* TODO still verbose here *)
         let exprVal = freshVar () in
         light_term exprVal expr None @@
             (T.IfZero (T.vvar exprVal,