gen: don't add duplicate data to number pool
commite5b527f74535572b0224376027e87541b1bf31c7
authorAli Gholami Rudi <ali@rudi.ir>
Wed, 23 Mar 2011 16:05:18 +0000 (23 20:35 +0430)
committerAli Gholami Rudi <ali@rudi.ir>
Wed, 23 Mar 2011 16:05:18 +0000 (23 20:35 +0430)
treeda8dbaeeda486a1ccb2f516f971f7fdd552408cc
parent8e03c1318b8a3b72a134c86d58fbf5c745a9f11a
gen: don't add duplicate data to number pool
gen.c