From 0c38a2dd1d48ce104acf4e767598f28f87ffa2e6 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Tue, 24 Sep 2024 13:45:05 +0200
Subject: [PATCH] [cabs2cil] use debug key for missing proto
---
src/kernel_internals/typing/cabs2cil.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_internals/typing/cabs2cil.ml b/src/kernel_internals/typing/cabs2cil.ml
index 7a28e4670d..c40489e5ab 100644
--- a/src/kernel_internals/typing/cabs2cil.ml
+++ b/src/kernel_internals/typing/cabs2cil.ml
@@ -6401,7 +6401,7 @@ and doExp local_env
"Function %s is a ghost symbol. \
It cannot be used in non-ghost context. \
Did you forget a /*@@ ghost ... /?" n ;
- Kernel.debug ~level:3
+ Kernel.debug ~dkey:Kernel.dkey_typing_global
"Calling function %s without prototype." n ;
let ftype = TFun(intType, None, false,
[Attr("missingproto",[])]) in
--
GitLab