fiddlerwoaroof/crawl - Change 7I3G656UZWAEMIGKJQNK667WJ3P2LT3NXYUWQ65CXI6OOEAOF36AC

Cosmetic fix.

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

Created by dolorous on March 15, 2008

7I3G656UZWAEMIGKJQNK667WJ3P2LT3NXYUWQ65CXI6OOEAOF36AC

Dependencies

In channels

main

Change contents

Deletion in crawl-ref/source/player.cc at line 64 [4.962854]
∅:D[3.1024] → [4.963860:963882]
B:BD[4.963860] → [4.963860:963882]
```
#include "spl-util.h"
```
Insertion in crawl-ref/source/player.cc at line 65 [4.962854]
[4.963903]
[2.9094]
```
#include "spl-util.h"
```