Rename type_is_primitively_copyable to ty_is_...

1 files changed, 2 insertions, 2 deletions

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 *)