diff --git a/crates/formality-prove/src/test/adt_wf.rs b/crates/formality-prove/src/test/adt_wf.rs
index f28926d3..d3bf00d9 100644
--- 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};