From 2a0ecfbef81231a394df71817a4cd9e81582b7de Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 13 Nov 2022 23:02:00 +0100
Subject: Make minor modifications

---
 compiler/dune | 2 --
 1 file changed, 2 deletions(-)

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index b530340b..b825ef7e 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -22,8 +22,6 @@
   ExpressionsUtils
   Extract
   ExtractBase
-  ExtractToCoq
-  ExtractToFStar
   FunsAnalysis
   Identifiers
   InterpreterBorrowsCore
-- 
cgit v1.2.3