ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-24 18:52:58 +03:00
Code Issues Packages Projects Releases Wiki Activity

updates following @collinc97 review

Browse Source
This commit is contained in:
damirka 2021-03-12 12:35:17 +03:00
parent 8542afe838
commit 15906bd4d2
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/src/function/input/main_function_input.rs
View File

@ -37,8 +37,6 @@ use snarkvm_fields::PrimeField;
use snarkvm_gadgets::traits::utilities::boolean::Boolean; use snarkvm_gadgets::traits::utilities::boolean::Boolean;
use snarkvm_r1cs::ConstraintSystem; use snarkvm_r1cs::ConstraintSystem;
// use crate::value::{Address, ConstrainedValue, Integer};
impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> { impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {
pub fn allocate_main_function_input<CS: ConstraintSystem<F>>( pub fn allocate_main_function_input<CS: ConstraintSystem<F>>(
&mut self, &mut self,

2
input/src/leo-input.pest
View File

@ -222,7 +222,7 @@ header = { main | constants | record | registers | state_leaf | state | identifi
/// Definitions /// Definitions
// Declared in definition/definition.rs // Declared in definition/definition.rs
definition = { parameter ~ "=" ~ expression ~ LINE_END } definition = { parameter ~ "=" ~ expression ~ LINE_END }
/// Table /// Table