From 4b2018c4dfb1335b9267eaf21fcb93ed5acbd00e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 8 Dec 2021 15:53:42 +0100
Subject: Rename env_value to env_elem

---
 src/Print.ml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/Print.ml')

diff --git a/src/Print.ml b/src/Print.ml
index 77bdcb5b..e8471704 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -424,8 +424,7 @@ module Contexts = struct
     | None -> PV.var_id_to_string bv.index
     | Some name -> name
 
-  let env_value_to_string (fmt : PV.value_formatter) (ev : C.env_value) : string
-      =
+  let env_elem_to_string (fmt : PV.value_formatter) (ev : C.env_elem) : string =
     match ev with
     | Var (var, tv) ->
         binder_to_string var ^ " -> " ^ PV.typed_value_to_string fmt tv ^ " ;"
@@ -435,7 +434,7 @@ module Contexts = struct
   let env_to_string (fmt : PV.value_formatter) (env : C.env) : string =
     "{\n"
     ^ String.concat "\n"
-        (List.map (fun ev -> "  " ^ env_value_to_string fmt ev) env)
+        (List.map (fun ev -> "  " ^ env_elem_to_string fmt ev) env)
     ^ "\n}"
 
   type ctx_formatter = PV.value_formatter
-- 
cgit v1.2.3