From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sat, 3 Aug 2024 18:04:16 +0000 (+0200)
Subject: fix compilation for 1.77
X-Git-Tag: v0.10.0~123^2~7
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c16d2d41477f8804addcb92475e469c2b850f186;p=scryer-prolog.git

fix compilation for 1.77
---

diff --git a/src/machine/preprocessor.rs b/src/machine/preprocessor.rs
index b4effba3..4c9c412e 100644
--- a/src/machine/preprocessor.rs
+++ b/src/machine/preprocessor.rs
@@ -38,10 +38,11 @@ fn setup_op_decl(mut terms: Vec<Term>, atom_tbl: &AtomTable) -> Result<OpDecl, C
     let spec = to_op_decl_spec(spec)?;
 
     let prec = match terms.pop().unwrap() {
-        term @ Term::Literal(_, Literal::Fixnum(bi)) => match u16::try_from(bi.get_num()) {
+        // once msrv is >= 1.78 we can remove the ref and the clone of term below
+        ref term @ Term::Literal(_, Literal::Fixnum(bi)) => match u16::try_from(bi.get_num()) {
             Ok(n) if n <= 1200 => n,
             _ => {
-                return Err(CompilationError::InvalidOpDeclPrec(term));
+                return Err(CompilationError::InvalidOpDeclPrec(term.clone()));
             }
         },
         other => {