From 6bee0e498b94951510e35abab88fcffc2470194f Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Wed, 1 Nov 2023 05:24:38 -0400
Subject: [PATCH] Update adt_wf.rs

---
 crates/formality-prove/src/test/adt_wf.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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};