From 66a6b86daa7f54336d193fab6979205284297cf2 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 25 Jan 2015 14:00:49 +0100 Subject: Added equiv_miter --- passes/equiv/Makefile.inc | 1 + 1 file changed, 1 insertion(+) (limited to 'passes/equiv/Makefile.inc') diff --git a/passes/equiv/Makefile.inc b/passes/equiv/Makefile.inc index 385170c9..c952fae5 100644 --- a/passes/equiv/Makefile.inc +++ b/passes/equiv/Makefile.inc @@ -1,5 +1,6 @@ OBJS += passes/equiv/equiv_make.o +OBJS += passes/equiv/equiv_miter.o OBJS += passes/equiv/equiv_simple.o OBJS += passes/equiv/equiv_status.o OBJS += passes/equiv/equiv_induct.o -- cgit v1.2.3