From 72c03f36e2e969992acf8e0398bbf7ae2c2c70b8 Mon Sep 17 00:00:00 2001 From: herbelin Date: Tue, 20 Nov 2001 15:35:22 +0000 Subject: Fusion de declare/add_constant, declare/add_parameter et add_discharged_constant git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2211 85f007b7-540e-0410-9357-904b9bb8a0f7 --- library/global.ml | 3 --- 1 file changed, 3 deletions(-) (limited to 'library/global.ml') diff --git a/library/global.ml b/library/global.ml index bbb77c853..b929ad78f 100644 --- a/library/global.ml +++ b/library/global.ml @@ -47,10 +47,7 @@ let push_named_def d = cst let pop_named_decls ids = global_env := pop_named_decls ids !global_env -let add_parameter sp c = global_env := add_parameter sp c !global_env let add_constant sp ce = global_env := add_constant sp ce !global_env -let add_discharged_constant sp r = - global_env := add_discharged_constant sp r !global_env let add_mind sp mie = global_env := add_mind sp mie !global_env let add_constraints c = global_env := add_constraints c !global_env -- cgit v1.2.3