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/PureToExtract.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/PureToExtract.ml')

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:
-- 
cgit v1.2.3