diff options
-rw-r--r-- | psi/zdevice.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/psi/zdevice.c b/psi/zdevice.c index 6e8f4ff02..349c2fd3b 100644 --- a/psi/zdevice.c +++ b/psi/zdevice.c @@ -318,8 +318,7 @@ zgetdevice(i_ctx_t *i_ctx_p) psdev->device = (gx_device *)dev; /* Device prototypes are read-only; */ - /* the cast is logically unnecessary. */ - make_tav(op, t_device, imemory_space(imemory) | a_readonly, pdevice, psdev); + make_tav(op, t_device, imemory_space(iimemory) | a_readonly, pdevice, psdev); return 0; } @@ -343,7 +342,7 @@ zgetdefaultdevice(i_ctx_t *i_ctx_p) psdev->device = (gx_device *)dev; push(1); - make_tav(op, t_device, imemory_space(imemory) | a_readonly, pdevice, psdev); + make_tav(op, t_device, imemory_space(iimemory) | a_readonly, pdevice, psdev); return 0; } |