From 9826e2de450b4c20405e5c4779b45bba5b2693db Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 8 Dec 2021 15:54:09 +0100
Subject: Remove a TODO

---
 src/Interpreter.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/Interpreter.ml')

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 8eebd241..560cf58b 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -10,7 +10,6 @@ module L = Logging
 open TypesUtils
 open ValuesUtils
 
-(* TODO: Change state-passing style to : st -> ... -> (st, v) *)
 (* TODO: check that the value types are correct when evaluating *)
 (* TODO: for debugging purposes, we might want to put use eval_ctx everywhere
    (rather than only env) *)
-- 
cgit v1.2.3