summaryrefslogtreecommitdiff
path: root/compiler/dune
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/dune')
-rw-r--r--compiler/dune6
1 files changed, 4 insertions, 2 deletions
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