From b05a03dda5d5100f4f714bd120ba1aed4c0130df Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 4 Jan 2022 18:29:01 +0100
Subject: Start working on invariant checking

---
 src/Values.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index 3af287c7..8ecf8849 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -72,7 +72,7 @@ type symbolic_proj_comp = {
 
 (** Ancestor for iter visitor for [typed_value] *)
 class ['self] iter_typed_value_base =
-  object (self : 'self)
+  object (_self : 'self)
     inherit [_] VisitorsRuntime.iter
 
     method visit_constant_value : 'env -> constant_value -> unit = fun _ _ -> ()
@@ -87,7 +87,7 @@ class ['self] iter_typed_value_base =
 
 (** Ancestor for map visitor for [typed_value] *)
 class ['self] map_typed_value_base =
-  object (self : 'self)
+  object (_self : 'self)
     inherit [_] VisitorsRuntime.map
 
     method visit_constant_value : 'env -> constant_value -> constant_value =
@@ -210,7 +210,7 @@ type region = RegionVarId.id Types.region [@@deriving show]
 
 (** Ancestor for iter visitor for [typed_avalue] *)
 class ['self] iter_typed_avalue_base =
-  object (self : 'self)
+  object (_self : 'self)
     inherit [_] iter_typed_value
 
     method visit_region : 'env -> region -> unit = fun _ _ -> ()
@@ -226,7 +226,7 @@ class ['self] iter_typed_avalue_base =
 
 (** Ancestor for MAP visitor for [typed_avalue] *)
 class ['self] map_typed_avalue_base =
-  object (self : 'self)
+  object (_self : 'self)
     inherit [_] map_typed_value
 
     method visit_region : 'env -> region -> region = fun _ r -> r
-- 
cgit v1.2.3