Move "from_var" fn.

powdr-labs · Dec 10, 2024 · d21c061 · d21c061
1 parent 5014950
commit d21c061
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/executor/src/witgen/jit/symbolic_expression.rs b/executor/src/witgen/jit/symbolic_expression.rs
@@ -44,6 +44,10 @@ pub enum UnaryOperator {
 }
 
 impl<T: FieldElement, V> SymbolicExpression<T, V> {
+    pub fn from_var(name: V) -> Self {
+        SymbolicExpression::Variable(name, None)
+    }
+
     pub fn is_known_zero(&self) -> bool {
         self.try_to_number().map_or(false, |n| n.is_zero())
     }
@@ -116,12 +120,6 @@ impl Display for UnaryOperator {
     }
 }
 
-impl<T: FieldElement, V> SymbolicExpression<T, V> {
-    pub fn from_var(name: V) -> Self {
-        SymbolicExpression::Variable(name, None)
-    }
-}
-
 impl<T: FieldElement, V> From<T> for SymbolicExpression<T, V> {
     fn from(n: T) -> Self {
         SymbolicExpression::Concrete(n)