From 25dde2366a4db47e5da13b2bbe4d03a31235706f Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 2 Aug 2009 19:51:48 +0000
Subject: Improved parameterization of Coq: - add coqtop option "-compat X.Y"
 so as to provide compatibility with   previous versions of Coq (of course,
 this requires to take care of   providing flags for controlling changes of
 behaviors!), - add support for option names made of an arbitrary length of
 words   (instead of one, two or three words only), - add options for
 recovering 8.2 behavior for discriminate, tauto,   evar unification ("Set
 Tactic Evars Pattern Unification", "Set   Discriminate Introduction", "Set
 Intuition Iff Unfolding").

Update of .gitignore

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12258 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/funind/indfun_common.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'plugins/funind')

diff --git a/plugins/funind/indfun_common.ml b/plugins/funind/indfun_common.ml
index 69cc0607b6..b29bdf3f16 100644
--- a/plugins/funind/indfun_common.ml
+++ b/plugins/funind/indfun_common.ml
@@ -495,7 +495,7 @@ let function_debug_sig =
   {
     optsync = false;
     optname = "Function debug";
-    optkey =  PrimaryTable("Function_debug");
+    optkey =  ["Function_debug"];
     optread = (fun () -> !function_debug);
     optwrite = (fun b -> function_debug := b)
   }
@@ -514,7 +514,7 @@ let strict_tcc_sig =
   {
     optsync = false;
     optname = "Raw Function Tcc";
-    optkey =  PrimaryTable("Function_raw_tcc");
+    optkey =  ["Function_raw_tcc"];
     optread = (fun () -> !strict_tcc);
     optwrite = (fun b -> strict_tcc := b)
   }
-- 
cgit v1.2.3