From 3b29cef2bdac2fbc18ddabc619de735f3eded6f4 Mon Sep 17 00:00:00 2001
From: totoro <david.rene@rack-matrix.com>
Date: Mon, 23 Dec 2019 00:31:49 +0100
Subject: [PATCH] remove find_DB_id which was duplicate in db_type

---
 database/db_types.anubis | 14 --------------
 1 file changed, 0 insertions(+), 14 deletions(-)

diff --git a/database/db_types.anubis b/database/db_types.anubis
index 41c2b4b..e60354e 100644
--- a/database/db_types.anubis
+++ b/database/db_types.anubis
@@ -62,20 +62,6 @@ public define DB_id
   }
 .
 
-public define DB_id
-  find_DB_id
-  (
-    Message msg,
-    String  name,
-    DB_id   default
-  )=
-  if find_DB_id(msg, name) is
-  {
-    failure         then default,
-    success(db_id)  then db_id
-  }
-.
-
 public define String
   to_String
   (
--
libgit2 0.21.4