From b951d7e571a24729303169733062154c4639f73a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 1 Dec 2021 13:49:32 +0100
Subject: Move some definitions to new files

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

(limited to 'src/Substitute.ml')

diff --git a/src/Substitute.ml b/src/Substitute.ml
index 3a2358f8..ad896c41 100644
--- a/src/Substitute.ml
+++ b/src/Substitute.ml
@@ -3,6 +3,7 @@
  *)
 
 module T = Types
+module TU = TypesUtils
 module V = Values
 module E = Expressions
 module A = CfimAst
@@ -58,7 +59,7 @@ let type_def_get_instantiated_field_type (def : T.type_def)
   let ty_subst =
     make_type_subst (List.map (fun x -> x.T.tv_index) def.T.type_params) types
   in
-  let fields = T.type_def_get_fields def opt_variant_id in
+  let fields = TU.type_def_get_fields def opt_variant_id in
   List.map
     (fun f -> erase_regions_substitute_types ty_subst f.T.field_ty)
     fields
-- 
cgit v1.2.3