summaryrefslogtreecommitdiff
path: root/passes/equiv/Makefile.inc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-02-08 11:59:38 +0100
committerClifford Wolf <clifford@clifford.at>2015-02-08 11:59:38 +0100
commit5170b861084823581382969220c7f1ea85e58656 (patch)
tree65f7bbc88d83c7087698400cf7f835effa06afed /passes/equiv/Makefile.inc
parent234a45a3d5d4b36e12d40033d58ac2ac3250fa27 (diff)
Added equiv_add
Diffstat (limited to 'passes/equiv/Makefile.inc')
-rw-r--r--passes/equiv/Makefile.inc1
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/equiv/Makefile.inc b/passes/equiv/Makefile.inc
index 06b00ef3..548eaca3 100644
--- a/passes/equiv/Makefile.inc
+++ b/passes/equiv/Makefile.inc
@@ -3,6 +3,7 @@ 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_add.o
OBJS += passes/equiv/equiv_remove.o
OBJS += passes/equiv/equiv_induct.o