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