From 0b75cd5bc0f7d0ad905bce5bebc6e47c927f64d7 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Mon, 16 Oct 2023 16:42:53 +0200
Subject: Used the dead-end checker in main analysis

---
 lib/syntax/report.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/syntax/report.ml')

diff --git a/lib/syntax/report.ml b/lib/syntax/report.ml
index 9ad24c3..9dae0f5 100644
--- a/lib/syntax/report.ml
+++ b/lib/syntax/report.ml
@@ -31,6 +31,9 @@ let pp_pos : Format.formatter -> pos -> unit =
 type t = { level : level; loc : pos; message : string }
 [@@deriving show { with_path = false }]
 
+let debug : pos -> string -> t =
+ fun loc message -> { level = Debug; loc; message }
+
 let warn : pos -> string -> t =
  fun loc message -> { level = Warn; loc; message }
 
-- 
cgit v1.2.3