From 615c2e136e94cc36ce2333ac24c6b9e58c02ca2b Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 19 Jan 2015 14:20:04 +0100 Subject: Added equiv_status --- passes/sat/Makefile.inc | 1 + 1 file changed, 1 insertion(+) (limited to 'passes/sat/Makefile.inc') diff --git a/passes/sat/Makefile.inc b/passes/sat/Makefile.inc index eb919eb21..18bd6561e 100644 --- a/passes/sat/Makefile.inc +++ b/passes/sat/Makefile.inc @@ -5,4 +5,5 @@ 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_status.o -- cgit v1.2.3