diff --git a/examples/x/websocket/client-server/client.v b/examples/websocket/client-server/client.v
similarity index 100%
rename from examples/x/websocket/client-server/client.v
rename to examples/websocket/client-server/client.v
diff --git a/examples/x/websocket/client-server/server.v b/examples/websocket/client-server/server.v
similarity index 100%
rename from examples/x/websocket/client-server/server.v
rename to examples/websocket/client-server/server.v
diff --git a/examples/x/websocket/ping.v b/examples/websocket/ping.v
similarity index 100%
rename from examples/x/websocket/ping.v
rename to examples/websocket/ping.v