[CN] Flip WellTyped.use_ity default

Now aligns with commit ac79195
rems-project · Sep 6, 2024 · 5151a4f · 5151a4f
1 parent d4f79b6
commit 5151a4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/backend/cn/lib/wellTyped.ml b/backend/cn/lib/wellTyped.ml
@@ -17,7 +17,7 @@ open Typing
 
 open Effectful.Make (Typing)
 
-let use_ity = ref false
+let use_ity = ref true
 
 let ensure_base_type = Typing.ensure_base_type