From 3223123aa5736cfe83168313e501fd4927f107ef Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 18 Jan 2022 22:47:18 +0100
Subject: Rename type_is_primitively_copyable to ty_is_...

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

(limited to 'src/ValuesUtils.ml')

diff --git a/src/ValuesUtils.ml b/src/ValuesUtils.ml
index 2d380ca9..4555fd50 100644
--- a/src/ValuesUtils.ml
+++ b/src/ValuesUtils.ml
@@ -97,7 +97,7 @@ let find_first_primitively_copyable_sv (v : typed_value) : symbolic_value option
 
       method! visit_Symbolic _ sv =
         let ty = sv.sv_ty in
-        if type_is_primitively_copyable ty && ty_has_regions ty then
+        if ty_is_primitively_copyable ty && ty_has_regions ty then
           raise (FoundSymbolicValue sv)
         else ()
     end
-- 
cgit v1.2.3