From 75be18b30ebd08dc28c0c8df72983126b7a126a7 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Fri, 15 Nov 2024 17:03:53 +0100
Subject: Added a global check reporting variables only reads

---
 bin/qsp_parser.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'bin/qsp_parser.ml')

diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml
index 96cbf73..9a19664 100644
--- a/bin/qsp_parser.ml
+++ b/bin/qsp_parser.ml
@@ -24,6 +24,7 @@ let available_checks =
     snd @@ Qsp_syntax.Check.build (module Qsp_syntax.Nested_strings);
     snd @@ Qsp_syntax.Check.build (module Qsp_syntax.Locations);
     snd @@ Qsp_syntax.Check.build (module Qsp_syntax.Dup_test);
+    snd @@ Qsp_syntax.Check.build (module Qsp_syntax.Write_only);
   ]
 
 let pp_module formatter (module A : Qsp_syntax.S.Analyzer) =
-- 
cgit v1.2.3