From b37c24d009b6ffff12cad16476ff200da2065eff Mon Sep 17 00:00:00 2001
From: Mikael Pettersson <mikpelinux@gmail.com>
Date: Sun, 24 Feb 2019 13:35:38 +0100
Subject: [PATCH] pdp10_stdio:fseek/2: correct -spec

---
 erlang/apps/lib/src/pdp10_stdio.erl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/erlang/apps/lib/src/pdp10_stdio.erl b/erlang/apps/lib/src/pdp10_stdio.erl
index 0ec8d0b..b9f68c4 100644
--- a/erlang/apps/lib/src/pdp10_stdio.erl
+++ b/erlang/apps/lib/src/pdp10_stdio.erl
@@ -132,8 +132,7 @@ fputc(Nonet, #file{pid = Pid}) ->
 fwrite(Nonets, #file{pid = Pid}) ->
   gen_server:call(Pid, {fwrite, Nonets}, infinity).
 
--spec fseek(#file{}, file:location())
-        -> {ok, non_neg_integer()} | {error, any()}.
+-spec fseek(#file{}, file:location()) -> ok | {error, any()}.
 fseek(#file{pid = Pid}, Location) ->
   gen_server:call(Pid, {fseek, Location}, infinity).