From 9e431c0cc77c82f5b67e53b051efd2530f71964d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Wed, 15 Dec 2010 18:35:45 +0100
Subject: [PATCH] remove TODO.

---
 compiler/minils/mls_utils.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/compiler/minils/mls_utils.ml b/compiler/minils/mls_utils.ml
index c7ab4b7..39a0fb0 100644
--- a/compiler/minils/mls_utils.ml
+++ b/compiler/minils/mls_utils.ml
@@ -20,7 +20,6 @@ let err_message ?(exp=void) ?(loc=exp.e_loc) = function
         print_exp exp;
       raise Errors.Error
 
-(*TODO faux pour l'instant, besoin d'une passe de best effort exp->static_exp*)
 let rec static_exp_of_exp e =
   match e.e_desc with
     | Econst se -> se