From 2714df1e6131b18bde6f60952b1e5150941d175d Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Sat, 2 Apr 2022 09:02:31 -0700
Subject: [PATCH] gml2gv: squash a -Wswitch-default warning

---
 cmd/tools/gml2gv.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cmd/tools/gml2gv.c b/cmd/tools/gml2gv.c
index 829eb5631..fc46406df 100644
--- a/cmd/tools/gml2gv.c
+++ b/cmd/tools/gml2gv.c
@@ -15,6 +15,7 @@
 #include <getopt.h>
 
 #include <cgraph/exit.h>
+#include <cgraph/unreachable.h>
 
 #define N_NEW(n,t)       calloc((n),sizeof(t))
 
@@ -119,6 +120,8 @@ static void initargs(int argc, char **argv)
 			optopt);
 		usage(1);
 	    }
+	default:
+	    UNREACHABLE();
 	}
     }
 
-- 
2.40.0