renamed phantom type definiton for old version

This commit is contained in:
Eugene Gusarov
2016-03-11 22:27:08 +03:00
parent 0d622d857f
commit e86bd1858a
2 changed files with 0 additions and 0 deletions