diff --git a/src/prolog/machine/system_calls.rs b/src/prolog/machine/system_calls.rs index 9edbdacb..47780568 100644 --- 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(());