fix from_flat

zokrates_core/src/compile.rs

@@ -198,10 +198,6 @@ pub fn compile<'ast, T: Field, E: Into<imports::Error>>(
     log::debug!("Flatten");
     let program_flattened = FlattenerIterator::from_function_and_config(typed_ast.main, config);
 
-    // // constant propagation after call resolution
-    // log::debug!("Propagate flat program");
-    // let program_flattened = program_flattened.propagate();
-
     // convert to ir
     log::debug!("Convert to IR");
     let ir_prog = ir::from_flat::from_flat(program_flattened);

zokrates_core/src/ir/from_flat.rs

@@ -45,6 +45,10 @@ impl<T: Field> From<FlatExpression<T>> for LinComb<T> {
                 box FlatExpression::Identifier(v1),
                 box FlatExpression::Number(n1),
             ) => LinComb::summand(n1, v1),
+            FlatExpression::Mult(
+                box FlatExpression::Number(n1),
+                box FlatExpression::Number(n2),
+            ) => LinComb::summand(n1 * n2, FlatVariable::one()),
             e => unreachable!("{}", e),
         }
     }