diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-13 21:06:53 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-15 21:47:09 +0100 |
| commit | fcda4718b1b8135d0d484f97bddaa683292b97c1 (patch) | |
| tree | 54cef729b587789b00c4175978cf5294e72d29c8 /vm | |
| parent | e1e4d8e34f49463b7d40ca2a2c86ce850d95571c (diff) | |
device/dev_pager.c: remove unnecessary casts
Variable pager is already of ipc_port_t type.
* device/dev_pager.c: Remove unnecessary casts.
Diffstat (limited to 'vm')
0 files changed, 0 insertions, 0 deletions