From: Richard W.M. Jones Date: Tue, 15 Nov 2016 18:15:49 +0000 (+0000) Subject: tag_utils: Comment that case should not happen. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=29206549846992245345dd6d9a963de0058d4531;p=todo.git tag_utils: Comment that case should not happen. --- diff --git a/todo_tag_utils.ml b/todo_tag_utils.ml index 29a760b..b2990a8 100644 --- a/todo_tag_utils.ml +++ b/todo_tag_utils.ml @@ -15,6 +15,8 @@ let string_of_tag name colour = (* black fg *) | "cyan" -> 46, 30 | "yellow" -> 43, 30 + + (* Should never happen because of database constraints. *) | _ -> assert false in sprintf "\x1b[%d;%dm\x1b[%d;%dm %s \x1b[0m" 1 fg 1 bg name