From 32bf05a9d4cfe80d4d771d32d796904e578b7843 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sat, 18 Feb 2012 12:31:03 -0500 Subject: [PATCH] Correction to contract --- network-query.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/network-query.rkt b/network-query.rkt index aa93578..346d4d7 100644 --- a/network-query.rkt +++ b/network-query.rkt @@ -147,7 +147,7 @@ (define (make-dns-address ip-address) (udp-address (ip->host-name ip-address) 53)) -;; network-query : UdpAddress Question DomainName NEListOf UniqueId -> OsProcess +;; network-query : UdpAddress Question DomainName NEListOf UniqueId -> BootK (define (network-query s q zone-origin server-names unique-id) (os-big-bang/transition (try-next-server (network-query-state (network-request s q zone-origin server-names unique-id)