From c1b2b95bf5bfdf62b004bff4a729655663519448 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 11:52:13 +0200
Subject: Move constant_value to PrimitiveValues.ml

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

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index 0968b2be..08b0d30f 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -24,7 +24,7 @@
    PureMicroPasses Pure PureToExtract PureTypeCheck PureUtils Scalars
    StringUtils Substitute SymbolicAst SymbolicToPure SynthesizeSymbolic
    TranslateCore Translate TypesAnalysis Types TypesUtils Utils Values
-   ValuesUtils))
+   ValuesUtils PrimitiveValues))
 
 (documentation
  (package aeneas))
-- 
cgit v1.2.3