58b4cd
Merge pull request #4382 from shun-iwasawa/fix_maddin200_pointed_problems_3 Fix maddin200 pointed problems part3