fiddlerwoaroof/crawl - Change U6G4DWFDDE2ZBIBF5ZUNLVTCKZGWZ3UYBVR76UIPN6ZOFZXQK6IAC

Simplify.

git-svn-id: https://crawl-ref.svn.sourceforge.net/svnroot/crawl-ref/trunk@6170 c06c8d41-db1a-0410-9941-cceddc491573

Created by dolorous on June 27, 2008

U6G4DWFDDE2ZBIBF5ZUNLVTCKZGWZ3UYBVR76UIPN6ZOFZXQK6IAC

Dependencies

In channels

main

Change contents

Replacement in crawl-ref/source/player.cc at line 6450 [3.962854]
B:BD[2.4315] → [2.4315:4357]
```
    if (petrif > 13)
        petrif = 13;
```
[2.4315]
[4.6801]
```
    petrif = std::min(13, petrif);
```