diff --git a/compiler/src/value/integer/integer.rs b/compiler/src/value/integer/integer.rs index 9d118d1120..33aa6b30cb 100644 --- a/compiler/src/value/integer/integer.rs +++ b/compiler/src/value/integer/integer.rs @@ -87,7 +87,7 @@ impl Integer { } pub fn is_allocated(&self) -> bool { - self.get_bits().into_iter().any(|b| !matches!(b, Boolean::Constant(_))) + self.get_bits().into_iter().any(|b| matches!(b, Boolean::Is(_) | Boolean::Not(_))) } pub fn get_value(&self) -> Option {