From 651bbded6eed4618f0080fa9fde4716615ebc61a Mon Sep 17 00:00:00 2001
From: marche <marche@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 8 Dec 2003 16:57:36 +0000
Subject: preferences

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5077 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/preferences.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/preferences.mli')

diff --git a/ide/preferences.mli b/ide/preferences.mli
index f6d163cb0..793b65f20 100644
--- a/ide/preferences.mli
+++ b/ide/preferences.mli
@@ -26,7 +26,7 @@ type pref =
       mutable encoding_use_utf8 : bool;
       mutable encoding_manual : string;
 
-      mutable automatic_tactics : (string * string) list;
+      mutable automatic_tactics : string list;
       mutable cmd_print : string;
 
       mutable modifier_for_navigation : Gdk.Tags.modifier list;
-- 
cgit v1.2.3