core plugin write_xdot: squash a -Wswitch-default warning

This switch is exhaustive.

diff --git a/plugin/core/gvrender_core_json.c b/plugin/core/gvrender_core_json.c
index 645b0c79406856637b2ab7087b4334244a7de7a2..88715a93a2c0cf5fe0ced8d37bf58df2fab858b9 100644 (file)
--- a/plugin/core/gvrender_core_json.c
+++ b/plugin/core/gvrender_core_json.c
@@ -27,6 +27,7 @@
 #include <gvc/gvplugin_render.h>
 #include <gvc/gvplugin_device.h>
 #include <cgraph/agxbuf.h>
+#include <cgraph/unreachable.h>
 #include <common/utils.h>
 #include <gvc/gvc.h>
 #include <gvc/gvio.h>
@@ -296,6 +297,8 @@ static void write_xdot (xdot_op * op, GVJ_t * job, state_t* sp)
        indent(job, sp->Level);
        gvprintf(job, "\"fontchar\": %d\n", op->u.fontchar);
        break;
+    default:
+       UNREACHABLE();
     }
     sp->Level--;
     indent(job, sp->Level);