From ce4a8dc934e5a5d201fa2237eb1e2ac18c2ecb40 Mon Sep 17 00:00:00 2001
From: Mindy <meetup@yomimono.org>
Date: Tue, 18 Jun 2019 10:36:48 -0500
Subject: [PATCH] look for icmpv3 in tcpip too

---
 test/config.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/config.ml b/test/config.ml
index 63fa4fa..4bb5875 100644
--- a/test/config.ml
+++ b/test/config.ml
@@ -5,7 +5,7 @@ let packages = [
   package "arp";
   package "arp-mirage";
   package "ipaddr";
-  package "tcpip" ~sublibs:["ipv4"; "udp"; "tcp"];
+  package "tcpip" ~sublibs:["icmpv4"; "ipv4"; "udp"; "tcp"];
   package "mirage-qubes";
   package "mirage-qubes-ipv4";
 ]