From 9c7fe7eb0cd3fdda6b64ff4dc9f6b68f631bdb44 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 23:57:38 +0200
Subject: Make minor updates to account for Charon's changes

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

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index af4cdb08..0d340d59 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -17,7 +17,6 @@
   ConstStrings
   Contexts
   Cps
-  Crates
   Expressions
   ExpressionsUtils
   ExtractToFStar
-- 
cgit v1.2.3