From c7e77edecc85b5e228e9b5dfb2ba3bf3a0be3b41 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Fri, 16 Aug 2019 12:33:12 +0200
Subject: [PATCH] fixes #11925

---
 lib/pure/net.nim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/pure/net.nim b/lib/pure/net.nim
index a2a3252dea..8c4229c88e 100644
--- a/lib/pure/net.nim
+++ b/lib/pure/net.nim
@@ -67,7 +67,7 @@
 {.deadCodeElim: on.}  # dce option deprecated
 import nativesockets, os, strutils, parseutils, times, sets, options,
   std/monotimes
-export Port, `$`, `==`
+export nativesockets.Port, nativesockets.`$`, nativesockets.`==`
 export Domain, SockType, Protocol
 
 const useWinVersion = defined(Windows) or defined(nimdoc)