Browse Source

cargo fmt

main
Srinath Setty 3 years ago
parent
commit
8027bcf056
1 changed files with 9 additions and 2 deletions
  1. +9
    -2
      src/bellperson/shape_cs.rs

+ 9
- 2
src/bellperson/shape_cs.rs

@ -213,7 +213,11 @@ where
/// TODO: document /// TODO: document
fn set_named_obj(&mut self, path: String, to: NamedObject) { fn set_named_obj(&mut self, path: String, to: NamedObject) {
assert!(!self.named_objects.contains_key(&path), "tried to create object at existing path: {}", path);
assert!(
!self.named_objects.contains_key(&path),
"tried to create object at existing path: {}",
path
);
self.named_objects.insert(path, to); self.named_objects.insert(path, to);
} }
@ -306,7 +310,10 @@ where
} }
fn compute_path(ns: &[String], this: &str) -> String { fn compute_path(ns: &[String], this: &str) -> String {
assert!(!this.chars().any(|a| a == '/'), "'/' is not allowed in names");
assert!(
!this.chars().any(|a| a == '/'),
"'/' is not allowed in names"
);
let mut name = String::new(); let mut name = String::new();

Loading…
Cancel
Save