From 597305ceaaebd7c37f767aa695fd9455dafd26cc Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 17 Dec 2021 15:14:36 +0100
Subject: Use RegionVarId and RegionId in a more consistent manner

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

(limited to 'src/CfimAst.ml')

diff --git a/src/CfimAst.ml b/src/CfimAst.ml
index 64151a48..192638cf 100644
--- a/src/CfimAst.ml
+++ b/src/CfimAst.ml
@@ -28,8 +28,8 @@ type fun_sig = {
   region_params : region_var list;
   num_early_bound_regions : int;
   type_params : type_var list;
-  inputs : rty list;
-  output : rty;
+  inputs : sty list;
+  output : sty;
 }
 [@@deriving show]
 
-- 
cgit v1.2.3