Commit 29920d69 authored by gerd's avatar gerd

fix


git-svn-id: https://gps.dynxs.de/private/svn/app-plasma/[email protected] 55289a75-7b90-4627-9e07-ffb4263930b2
parent 4b6cb7c7
......@@ -284,14 +284,22 @@ object(self)
method peek_record() =
match cur_rec with
| None -> self#input_record()
| None ->
let line = self#next_record() in
cur_rec <- Some line;
line
| Some r -> r
method input_record() =
let line = self # next_record() in
pos_in <- pos_in + 1;
cur_rec <- Some line;
line
match cur_rec with
| None ->
let line = self#next_record() in
pos_in <- pos_in + 1;
line
| Some r ->
cur_rec <- None;
pos_in <- pos_in + 1;
r
method private next_record() =
match cur_rd with
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment