From 0aa2544d04dbd4b6ee665b551ed165e4fb02d2fa Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Wed, 15 Jul 2015 10:36:12 +0200
Subject: Imported Upstream version 8.5~beta2+dfsg

---
 tactics/btermdn.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tactics/btermdn.ml')

diff --git a/tactics/btermdn.ml b/tactics/btermdn.ml
index 1f5177c3..b87d6575 100644
--- a/tactics/btermdn.ml
+++ b/tactics/btermdn.ml
@@ -144,7 +144,7 @@ struct
 
  type t = Dn.t
 
-  let create = Dn.create
+  let empty = Dn.empty
 
   let add = function
     | None ->
-- 
cgit v1.2.3