小孩子半夜老喜欢抓肛门是病吗？

我家孩子今年已经4岁了，最近晚上睡觉的时候发现他特别不踏实，容易翻身，而且还喜欢去抓挠肛门，皮肤都有些抓破了，但是他早上起来的时候又没有说肛门不舒服。带着孩子去看医生，他说是蛲虫感染引起的，给孩子开了肠虫清，吃了1次就好了，现在到了半夜也没有肛门瘙痒的症状了。