Update adt_wf.rs

rust-lang · Nov 1, 2023 · 6bee0e4 · 6bee0e4
1 parent 420912c
commit 6bee0e4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/crates/formality-prove/src/test/adt_wf.rs b/crates/formality-prove/src/test/adt_wf.rs
@@ -1,8 +1,8 @@
 use expect_test::expect;
-use formality_macros::test;
+use formality_core::test;
 use formality_types::{
     grammar::{Parameter, Relation, Wcs},
-    parse::term,
+    rust::term,
 };
 
 use crate::{decls::Decls, prove::prove};