autoinc example の修正

!SOLVER の4行目が記述されているので紛らわしいのを修正する。