Fixup: follow compiler.

This commit is contained in:
KtorZ
2023-02-09 16:09:49 +01:00
parent cfbe5fd3cc
commit e76d26eb3c
5 changed files with 30 additions and 23 deletions

View File

@@ -3,7 +3,7 @@ use crate::program_builder::WithTerm;
pub trait WithConstant: WithTerm {
fn with_int(self, int: i128) -> Self::Next {
let term = Term::Constant(Constant::Integer(int).into());
let term = Term::Constant(Constant::Integer(int.into()).into());
self.next(term)
}