From 30628d4bbc3ea8a4b2e716d5c83323599ed98cce Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 29 Nov 2021 17:00:46 +0100
Subject: Start working logging and make progress on printing ASTs

---
 src/Substitute.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Substitute.ml')

diff --git a/src/Substitute.ml b/src/Substitute.ml
index dc2821f0..8cb92587 100644
--- a/src/Substitute.ml
+++ b/src/Substitute.ml
@@ -36,7 +36,7 @@ let rec ty_substitute (rsubst : 'r1 -> 'r2)
 (** Erase the regions in a type and substitute the type variables *)
 let erase_regions_substitute_types (tsubst : T.TypeVarId.id -> T.ety)
     (ty : T.rty) : T.ety =
-  let rsubst (r : T.RegionVarId.id T.region) : T.erased_region = T.Erased in
+  let rsubst (_ : T.RegionVarId.id T.region) : T.erased_region = T.Erased in
   ty_substitute rsubst tsubst ty
 
 (** Create a type substitution from a list of type variable ids and a list of
-- 
cgit v1.2.3