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

---
 ide/coqide/protocol/xmlprotocol.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/coqide/protocol/xmlprotocol.mli')

diff --git a/ide/coqide/protocol/xmlprotocol.mli b/ide/coqide/protocol/xmlprotocol.mli
index 44584d44d7..4dc05c18a9 100644
--- a/ide/coqide/protocol/xmlprotocol.mli
+++ b/ide/coqide/protocol/xmlprotocol.mli
@@ -37,6 +37,7 @@ val wait        : wait_sty        -> wait_rty call
 val interp      : interp_sty      -> interp_rty call
 val print_ast   : print_ast_sty   -> print_ast_rty call
 val annotate    : annotate_sty    -> annotate_rty call
+val proof_diff  : proof_diff_sty  -> proof_diff_rty call
 
 val abstract_eval_call : handler -> 'a call -> 'a value
 
-- 
cgit v1.2.3