fmt

zksecurity · Oct 24, 2024 · a822a1b · a822a1b
1 parent 8834fff
commit a822a1b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/stdlib/mod.rs b/src/stdlib/mod.rs
@@ -100,7 +100,10 @@ pub fn init_stdlib_dep<B: Backend>(
     for lib in libs {
         let module = UserRepo::new(&format!("std/{}", lib));
         let prefix_stdlib = Path::new(path_prefix);
-        println!("Loading stdlib: {}", prefix_stdlib.join(format!("{lib}/lib.no")).display());
+        println!(
+            "Loading stdlib: {}",
+            prefix_stdlib.join(format!("{lib}/lib.no")).display()
+        );
         let code = std::fs::read_to_string(prefix_stdlib.join(format!("{lib}/lib.no"))).unwrap();
         node_id =
             typecheck_next_file(tast, Some(module), sources, lib.to_string(), code, 0).unwrap();