]> Repositorios git - scryer-prolog.git/commitdiff
fix position property in stream_property/2 (#477)
authorMark Thom <[email protected]>
Sun, 10 May 2020 19:35:48 +0000 (13:35 -0600)
committerMark Thom <[email protected]>
Sun, 10 May 2020 19:35:48 +0000 (13:35 -0600)
src/prolog/machine/system_calls.rs

index 9edbdacb974984a520babb5b8a6d745c662eb312..47780568d1ef31f3995800e2f4a9195a77231876 100644 (file)
@@ -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(());