Check the index status in google webmaster tool,also verify there any alert related to this robots.txt