fix position property in stream_property/2 (#477)

2020-05-10 13:35:48 -06:00
parent 26d483f2d7
commit ea7b1a9592
1 changed files with 2 additions and 6 deletions
--- a/src/prolog/machine/system_calls.rs
+++ b/src/prolog/machine/system_calls.rs
@@ -4709,12 +4709,8 @@ impl MachineState {
                                            }
                                        }
                                        "position" => {
-                                            if stream.options.reposition {
-                                                if let Some(position) = stream.position() {
-                                                    HeapCellValue::Addr(Addr::Usize(position as usize))
-                                                } else {
-                                                    unreachable!()
-                                                }
+                                            if let Some(position) = stream.position() {
+                                                HeapCellValue::Addr(Addr::Usize(position as usize))
                                            } else {
                                                self.fail = true;
                                                return Ok(());