From fc21cf96f80ccb7e6455c057987bb0ff4597c0bb Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 13 Nov 2022 23:00:38 +0100
Subject: Make good progress on the Coq backend

---
 compiler/dune | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index 10aa9b10..b530340b 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -20,7 +20,10 @@
   Cps
   Expressions
   ExpressionsUtils
-  ExtractToBackend
+  Extract
+  ExtractBase
+  ExtractToCoq
+  ExtractToFStar
   FunsAnalysis
   Identifiers
   InterpreterBorrowsCore
@@ -44,7 +47,6 @@
   PrintPure
   PureMicroPasses
   Pure
-  PureToExtract
   PureTypeCheck
   PureUtils
   Scalars
-- 
cgit v1.2.3