Remove extern crate

koba-e964 · Dec 18, 2024 · 23087c8 · 23087c8
1 parent 79d669b
commit 23087c8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/src/alpha.rs b/src/alpha.rs
@@ -1,5 +1,3 @@
-extern crate std;
-
 use crate::id::IdGen;
 use crate::k_normal::{KFundef, KNormal};
 use std::collections::HashMap;

diff --git a/src/main.rs b/src/main.rs
@@ -1,8 +1,4 @@
-extern crate min_caml_rust;
-#[macro_use]
-extern crate lazy_static;
-extern crate nom;
-
+use lazy_static::lazy_static;
 use min_caml_rust::syntax::Type;
 use min_caml_rust::{
     alpha, arm64, assoc, beta, closure, const_fold, elim, id, inline, k_normal, parser, typing,