##161: #line 2529 "/u/norman/pu/web/dist/src/master/spider.web" #line 2530 "/u/norman/pu/web/dist/src/master/spider.web" {if($0==last){ print"Error: duplicate name",$0,"on lines",NR-1"-"NR exit-1 } last=$0 } ##:161