a72e35
Merge pull request #4332 from shun-iwasawa/fix_maddin200_pointed_problems Fix maddin200 pointed problems