From 29206549846992245345dd6d9a963de0058d4531 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 15 Nov 2016 18:15:49 +0000 Subject: [PATCH] tag_utils: Comment that case should not happen. --- todo_tag_utils.ml | 2 ++ 1 file changed, 2 insertions(+) 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 -- 1.8.3.1