From 6db835db88c4bcf0e00ce1a7a6bc396382b393c3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 11 Nov 2022 21:34:29 +0100
Subject: Reorganize the project to prepare for new backends

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

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index 85f4b75b..10aa9b10 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -20,7 +20,7 @@
   Cps
   Expressions
   ExpressionsUtils
-  ExtractToFStar
+  ExtractToBackend
   FunsAnalysis
   Identifiers
   InterpreterBorrowsCore
-- 
cgit v1.2.3