From decb8c16274487ce3cac1e7d5de529b46b6d68e3 Mon Sep 17 00:00:00 2001 From: filliatr Date: Mon, 13 Dec 1999 13:42:04 +0000 Subject: - méthode load sur les Hints - CAST pris en compte dans Astterm - Coercin.lookup_path_to_sort_from protégé par un try/with MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@248 85f007b7-540e-0410-9357-904b9bb8a0f7 --- library/goptions.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'library') diff --git a/library/goptions.ml b/library/goptions.ml index a8b553f32..3a697cb6d 100644 --- a/library/goptions.ml +++ b/library/goptions.ml @@ -213,8 +213,8 @@ let declare_async_option cast uncast let _ = get_option key in error "Sorry, this option name is already used" with Not_found -> - if List.mem_assoc (nickname key) !param_table - then error "Sorry, this option name is already used"; + if List.mem_assoc (nickname key) !param_table then + error "Sorry, this option name is already used"; let cread () = cast (read ()) in let cwrite v = write (uncast v) in async_value_tab := OptionMap.add key (name,(cread,cwrite)) !async_value_tab -- cgit v1.2.3