From a1e24c2a13713b015abc9a93e6915b6d4a6f22fe Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 2 Aug 2023 14:10:15 +0200
Subject: Make progress

---
 compiler/dune | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index b74b65fa..6785cad4 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -48,6 +48,8 @@
   PrePasses
   Print
   PrintPure
+  PrimitiveValues
+  PrimitiveValuesUtils
   PureMicroPasses
   Pure
   PureTypeCheck
@@ -67,8 +69,7 @@
   TypesUtils
   Utils
   Values
-  ValuesUtils
-  PrimitiveValues))
+  ValuesUtils))
 
 (documentation
  (package aeneas))
-- 
cgit v1.2.3