From 4cec1c058d5cef6960e12bc4d5371aa853cb72d9 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 23 Oct 2015 23:56:58 +0200 Subject: Added equiv_mark command --- 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 4d615742..dd7b3be0 100644 --- a/passes/equiv/Makefile.inc +++ b/passes/equiv/Makefile.inc @@ -8,4 +8,5 @@ OBJS += passes/equiv/equiv_remove.o OBJS += passes/equiv/equiv_induct.o OBJS += passes/equiv/equiv_struct.o OBJS += passes/equiv/equiv_purge.o +OBJS += passes/equiv/equiv_mark.o -- cgit v1.2.3