Browse Source

small cleanup

main
Srinath Setty 3 years ago
parent
commit
4b22ef2476
1 changed files with 1 additions and 3 deletions
  1. +1
    -3
      src/r1cs.rs

+ 1
- 3
src/r1cs.rs

@ -1,7 +1,5 @@
#![allow(clippy::type_complexity)] #![allow(clippy::type_complexity)]
use crate::commitments::CompressedCommitment;
use super::commitments::{CommitGens, CommitTrait, Commitment};
use super::commitments::{CommitGens, CommitTrait, Commitment, CompressedCommitment};
use super::errors::NovaError; use super::errors::NovaError;
use super::traits::{Group, PrimeField}; use super::traits::{Group, PrimeField};
use itertools::concat; use itertools::concat;

Loading…
Cancel
Save