diff options
| author | Son Ho | 2022-10-27 11:52:13 +0200 |
|---|---|---|
| committer | Son HO | 2022-10-27 12:58:47 +0200 |
| commit | c1b2b95bf5bfdf62b004bff4a729655663519448 (patch) | |
| tree | df559d39fc5b92dc64fca7d2002cdc8e46d67715 /compiler/dune | |
| parent | 2fb82b54b1b2380d457fb4cbe9a7320468903d81 (diff) | |
Move constant_value to PrimitiveValues.ml
Diffstat (limited to 'compiler/dune')
| -rw-r--r-- | compiler/dune | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |