From 1d4bbefe5fe19306ab415e537863763a0a74134a Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sun, 23 Aug 2020 16:09:10 -0700
Subject: Add an XML message for "Show Proof Diffs" Add menu item that uses
 this

---
 lib/flags.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/flags.ml')

diff --git a/lib/flags.ml b/lib/flags.ml
index 1d9d6d49bc..83733cf00d 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -47,6 +47,7 @@ let async_proofs_is_worker () = !async_proofs_worker_id <> "master"
 let load_vos_libraries = ref false
 
 let debug = ref false
+let xml_debug = ref false
 
 let in_debugger = ref false
 let in_toplevel = ref false
-- 
cgit v1.2.3