From cdaa37670587dadda92ddab076170eb6d8e237cd Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 18:17:41 +0200
Subject: Take care of some TODOs

---
 compiler/dune | 1 -
 1 file changed, 1 deletion(-)

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index d3f5eaec..af4cdb08 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -18,7 +18,6 @@
   Contexts
   Cps
   Crates
-  Errors
   Expressions
   ExpressionsUtils
   ExtractToFStar
-- 
cgit v1.2.3