- NONE => print ("Warning: DNS directive for " ^ Domain.currentDomain ()
- ^ " ignored because no master DNS server is configured for this domain\n")
+ NONE => () (* print ("Warning: DNS directive for " ^ Domain.currentDomain ()
+ ^ " ignored because no master DNS server is configured for this domain\n") *)