util/rfc6724.lua
changeset 7262 d8300985f2bb
parent 5552 40e7a6cf15ff
child 12979 d10957394a3c
--- a/util/rfc6724.lua	Thu Mar 10 17:49:46 2016 +0000
+++ b/util/rfc6724.lua	Thu Mar 10 17:52:03 2016 +0000
@@ -10,7 +10,6 @@
 -- We can't hand this off to getaddrinfo, since it blocks
 
 local ip_commonPrefixLength = require"util.ip".commonPrefixLength
-local new_ip = require"util.ip".new_ip;
 
 local function commonPrefixLength(ipA, ipB)
 	local len = ip_commonPrefixLength(ipA, ipB);