From 46efea7823acfef5230f33f4b27c99bc176aafbc Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Fri, 20 Jan 2017 23:56:32 +0700
Subject: Use BatOption.defalt instead of homegrown equivalent.

If we are going to use batteries for numeric_compare, why not take
advantage of the rest.
---
 src/util.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/util.mli')

diff --git a/src/util.mli b/src/util.mli
index 46fac71..9f6c3db 100644
--- a/src/util.mli
+++ b/src/util.mli
@@ -2,6 +2,4 @@ val find_xml_child : string -> Xml.xml -> Xml.xml option
 
 val string_of_path : string list -> string
 
-val substitute_default : 'a option -> 'a -> 'a
-
 val absolute_path : FilePath.filename -> FilePath.filename
-- 
cgit v1.2.3