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/PureToExtract.ml | |
parent | 2fb82b54b1b2380d457fb4cbe9a7320468903d81 (diff) |
Move constant_value to PrimitiveValues.ml
Diffstat (limited to '')
-rw-r--r-- | compiler/PureToExtract.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/PureToExtract.ml b/compiler/PureToExtract.ml index 77c3afd4..7f79aa88 100644 --- a/compiler/PureToExtract.ml +++ b/compiler/PureToExtract.ml @@ -137,7 +137,7 @@ type formatter = { indices to names, the responsability of finding a proper index is delegated to helper functions. *) - extract_constant_value : F.formatter -> bool -> constant_value -> unit; + extract_primitive_value : F.formatter -> bool -> primitive_value -> unit; (** Format a constant value. Inputs: |