From c63284e3f9d7723b24f2d226355747e91ebb06aa Mon Sep 17 00:00:00 2001
From: Son HO
Date: Thu, 11 Apr 2024 10:54:12 +0200
Subject: Update a comment

---
 compiler/Invariants.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler')

diff --git a/compiler/Invariants.ml b/compiler/Invariants.ml
index 6e448cc4..689db0c4 100644
--- a/compiler/Invariants.ml
+++ b/compiler/Invariants.ml
@@ -825,7 +825,7 @@ let check_symbolic_values (meta : Meta.meta) (ctx : eval_ctx) : unit =
      * it must be expanded first *)
     if ty_has_borrows ctx.type_ctx.type_infos info.ty then
       sanity_check __FILE__ __LINE__ (info.env_count <= 1) meta;
-    (* A duplicated symbolic value is necessarily primitively copyable *)
+    (* A duplicated symbolic value is necessarily copyable *)
     sanity_check __FILE__ __LINE__
       (info.env_count <= 1 || ty_is_copyable info.ty)
       meta;
-- 
cgit v1.2.3