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/InterpreterExpressions.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/InterpreterExpressions.ml')

diff --git a/src/InterpreterExpressions.ml b/src/InterpreterExpressions.ml
index 2390aa48..f15c7558 100644
--- a/src/InterpreterExpressions.ml
+++ b/src/InterpreterExpressions.ml
@@ -267,7 +267,7 @@ let eval_binary_op_concrete (config : C.config) (ctx : C.eval_ctx)
     (* Equality operations *)
     assert (v1.ty = v2.ty);
     (* Equality/inequality check is primitive only for a subset of types *)
-    assert (type_is_primitively_copyable v1.ty);
+    assert (ty_is_primitively_copyable v1.ty);
     let b = v1 = v2 in
     Ok (ctx, { V.value = V.Concrete (Bool b); ty = T.Bool }))
   else
@@ -344,7 +344,7 @@ let eval_binary_op_symbolic (config : C.config) (ctx : C.eval_ctx)
       (* Equality operations *)
       assert (v1.ty = v2.ty);
       (* Equality/inequality check is primitive only for a subset of types *)
-      assert (type_is_primitively_copyable v1.ty);
+      assert (ty_is_primitively_copyable v1.ty);
       T.Bool)
     else
       (* Other operations: input types are integers *)
-- 
cgit v1.2.3