This is an automated email from the git hooks/post-receive script.

ecc-guest pushed a commit to branch upstream
in repository approx.

commit 81ee687316d34c8c6a09f6bc0806129835b59e87
Author: Eric Cooper <e...@cmu.edu>
Date:   Sat Sep 27 21:10:49 2014 -0400

    remove unused code
---
 util.ml  | 2 --
 util.mli | 4 ----
 2 files changed, 6 deletions(-)

diff --git a/util.ml b/util.ml
index 1960686..400e4d1 100644
--- a/util.ml
+++ b/util.ml
@@ -114,8 +114,6 @@ let without_extension file = fst (split_extension file)
 
 let extension file = snd (split_extension file)
 
-let the = function Some x -> x | None -> raise Not_found
-
 (* private exception to wrap any exception raised during cleanup action *)
 
 exception Unwind of exn
diff --git a/util.mli b/util.mli
index 427cc7f..2575f41 100644
--- a/util.mli
+++ b/util.mli
@@ -55,10 +55,6 @@ val relative_url : string -> string
 
 val extension : string -> string
 
-(* Return the underlying value of an option, otherwise raise Not_found *)
-
-val the : 'a option -> 'a
-
 (* Call a function making sure that a cleanup procedure is called
    before returning the result of the function or raising an exception *)
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/approx.git

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to