From 3f93e781da431cd889816a3bb245f6ba0cc632b6 Mon Sep 17 00:00:00 2001 From: Iavor Diatchki Date: Fri, 2 Aug 2024 15:14:53 -0700 Subject: [PATCH] Remove debug message --- backend/cn/lib/sctypes.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/backend/cn/lib/sctypes.ml b/backend/cn/lib/sctypes.ml index b6bd8cafc..d413ba26b 100644 --- a/backend/cn/lib/sctypes.ml +++ b/backend/cn/lib/sctypes.ml @@ -191,7 +191,7 @@ let of_ctype_unsafe loc ct = let open Cerb_pp_prelude in match of_ctype ct with | Some ct -> ct - | None -> Tools.unsupported loc (!^"YAV C-type" ^^^ Cerb_frontend.Pp_core_ctype.pp_ctype ct) + | None -> Tools.unsupported loc (!^"Unsupported C-type" ^^^ Cerb_frontend.Pp_core_ctype.pp_ctype ct) let pp t = Pp_core_ctype.pp_ctype (to_ctype t)