diff --git a/std/std.internet.pdl b/std/std.internet.pdl
index fa94ba6f198e11b59fa2ad744d3904bed4d79fc6..0d8d360f6e30a20342ad847e8797d2ccda555dc3 100644
--- a/std/std.internet.pdl
+++ b/std/std.internet.pdl
@@ -4,6 +4,7 @@ union Cmd {
     Send(u8[]),
     Receive,
     Finish,
+    Shutdown,
 }
 
 primitive tcp_client(u8[] ip, u16 port, in<Cmd> cmds, out<u8[]> rx) {