diff --git a/passes/equiv/Makefile.inc b/passes/equiv/Makefile.inc
new file mode 100644
index 00000000..16abcd96
--- /dev/null
+++ b/passes/equiv/Makefile.inc
@@ -0,0 +1,5 @@
+
+OBJS += passes/equiv/equiv_make.o
+OBJS += passes/equiv/equiv_simple.o
+OBJS += passes/equiv/equiv_status.o
+
diff --git a/passes/sat/equiv_make.cc b/passes/equiv/equiv_make.cc
similarity index 100%
rename from passes/sat/equiv_make.cc
rename to passes/equiv/equiv_make.cc
diff --git a/passes/sat/equiv_simple.cc b/passes/equiv/equiv_simple.cc
similarity index 100%
rename from passes/sat/equiv_simple.cc
rename to passes/equiv/equiv_simple.cc
diff --git a/passes/sat/equiv_status.cc b/passes/equiv/equiv_status.cc
similarity index 100%
rename from passes/sat/equiv_status.cc
rename to passes/equiv/equiv_status.cc
diff --git a/passes/sat/Makefile.inc b/passes/sat/Makefile.inc
index d3c323c4..4fa6bf0d 100644
--- a/passes/sat/Makefile.inc
+++ b/passes/sat/Makefile.inc
@@ -4,7 +4,4 @@ OBJS += passes/sat/freduce.o
 OBJS += passes/sat/eval.o
 OBJS += passes/sat/miter.o
 OBJS += passes/sat/expose.o
-OBJS += passes/sat/equiv_make.o
-OBJS += passes/sat/equiv_simple.o
-OBJS += passes/sat/equiv_status.o