xdot printAlign: squash -Wswitch-default warning

This switch is exhaustive.

diff --git a/lib/xdot/xdot.c b/lib/xdot/xdot.c
index 86058332d6fcbbad08d56a94eb0b584695f40723..32086b5af49f2154a55b3530e6643e176e63c278 100644 (file)
--- a/lib/xdot/xdot.c
+++ b/lib/xdot/xdot.c
@@ -11,6 +11,7 @@
 #include <cgraph/agxbuf.h>
 #include <cgraph/alloc.h>
 #include <cgraph/prisize_t.h>
+#include <cgraph/unreachable.h>
 #include <xdot/xdot.h>
 #include <stdlib.h>
 #include <string.h>
@@ -491,6 +492,8 @@ static void printAlign(xdot_align a, pf print, void *info)
     case xd_center:
        print(" 0", info);
        break;
+    default:
+       UNREACHABLE();
     }
 }