admit YF in current_op/3 (#2639)

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 752ae6b45c01ba2f844bf041b9941f1c1e81ddba..247989196f55cb5337bb7f597f86df75f78dfa92 100644 (file)
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -4026,12 +4026,7 @@ impl Machine {
             let orig_op = self.deref_register(3);
 
             let spec_num = if spec.get_tag() == HeapCellValueTag::Atom {
-                Some(
-                    OpDeclSpec::try_from(cell_as_atom!(spec))
-                        .ok()
-                        .filter(|spec| matches!(spec, XFX | XFY | YFX | FX | FY | XF))
-                        .expect("we should only get valid values != YF here"),
-                )
+                OpDeclSpec::try_from(cell_as_atom!(spec)).ok()
             } else {
                 None
             };