From 3b7ecfa6d4da684a635b2469c2d9a2e1e0ed0807 Mon Sep 17 00:00:00 2001 From: letouzey Date: Tue, 12 Mar 2013 23:59:05 +0000 Subject: invalid_arg instead of raise (Invalid_argement ...) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16270 85f007b7-540e-0410-9357-904b9bb8a0f7 --- plugins/funind/indfun_common.mli | 2 -- 1 file changed, 2 deletions(-) (limited to 'plugins/funind/indfun_common.mli') diff --git a/plugins/funind/indfun_common.mli b/plugins/funind/indfun_common.mli index d9f0f51ce..6f47e2289 100644 --- a/plugins/funind/indfun_common.mli +++ b/plugins/funind/indfun_common.mli @@ -13,8 +13,6 @@ val mk_equation_id : Id.t -> Id.t val msgnl : std_ppcmds -> unit -val invalid_argument : string -> 'a - val fresh_id : Id.t list -> string -> Id.t val fresh_name : Id.t list -> string -> Name.t val get_name : Id.t list -> ?default:string -> Name.t -> Name.t -- cgit v1.2.3