From 85c509a0fada387d3af96add3dac6a7c702b5d01 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 2 Oct 2012 15:58:00 +0000
Subject: Remove some more "open" and dead code thanks to OCaml4 warnings

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15844 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/program.ml | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'pretyping/program.ml')

diff --git a/pretyping/program.ml b/pretyping/program.ml
index db821f1762..a8e91856b3 100644
--- a/pretyping/program.ml
+++ b/pretyping/program.ml
@@ -11,8 +11,6 @@ open Util
 open Names
 open Term
 
-type message = string
-
 let make_dir l = make_dirpath (List.map id_of_string (List.rev l))
 
 let find_reference locstr dir s =
@@ -63,10 +61,3 @@ let mk_coq_and l =
       (fun c conj ->
 	 mkApp (and_typ, [| c ; conj |]))
       l
-
-let with_program f c = 
-  let mode = !Flags.program_mode in
-    Flags.program_mode := true;
-    let res = f c in
-      Flags.program_mode := mode;
-      res
-- 
cgit v1.2.3