git.annexia.org
/
todo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d45f035
)
tag_utils: Comment that case should not happen.
author
Richard W.M. Jones
<rjones@redhat.com>
Tue, 15 Nov 2016 18:15:49 +0000
(18:15 +0000)
committer
Richard W.M. Jones
<rjones@redhat.com>
Tue, 15 Nov 2016 18:15:49 +0000
(18:15 +0000)
todo_tag_utils.ml
patch
|
blob
|
history
diff --git
a/todo_tag_utils.ml
b/todo_tag_utils.ml
index
29a760b
..
b2990a8
100644
(file)
--- 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