From 33f39b8837e54007e415483bf9ee09a0d6f32770 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 20 Aug 2024 12:06:11 +0200
Subject: [PATCH] [modules] remove scope debugging
---
src/kernel_services/ast_queries/logic_typing.ml | 5 -----
1 file changed, 5 deletions(-)
diff --git a/src/kernel_services/ast_queries/logic_typing.ml b/src/kernel_services/ast_queries/logic_typing.ml
index c9aee7e92c..99e31d81f6 100644
--- a/src/kernel_services/ast_queries/logic_typing.ml
+++ b/src/kernel_services/ast_queries/logic_typing.ml
@@ -725,11 +725,6 @@ struct
short_prefix: string; (* last '::' included *)
}
- let pp_scope fmt s =
- Format.fprintf fmt "{ long: %S; short: %S }"
- s.long_prefix s.short_prefix
- [@@ warning "-32"]
-
let scopes : (scope option * scope list) Stack.t = Stack.create ()
let current_scope : scope option ref = ref None
--
GitLab