From 5874843ea8e1ca82f8b1b646022582309b7fe24c Mon Sep 17 00:00:00 2001
From: Cyprien Mangin <cyprien.mangin@m4x.org>
Date: Thu, 2 Jun 2016 11:29:43 +0200
Subject: Add user-created queries to CoqIDE.

---
 ide/preferences.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/preferences.mli')

diff --git a/ide/preferences.mli b/ide/preferences.mli
index 1733091a5..ebcff2080 100644
--- a/ide/preferences.mli
+++ b/ide/preferences.mli
@@ -95,6 +95,7 @@ val spaces_instead_of_tabs : bool preference
 val tab_length : int preference
 val highlight_current_line : bool preference
 val nanoPG : bool preference
+val user_queries : (string * string) list preference
 
 val save_pref : unit -> unit
 val load_pref : unit -> unit
-- 
cgit v1.2.3