summaryrefslogtreecommitdiff
path: root/passes/equiv/Makefile.inc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-01-22 14:03:18 +0100
committerClifford Wolf <clifford@clifford.at>2015-01-22 14:03:18 +0100
commitf6d94e87209103a6076bcef71235ac804ad32e86 (patch)
treea5b07d219c9b9dee653c1e498d3d200c75022798 /passes/equiv/Makefile.inc
parenta6aa32e762d29f050d0b6d49e288514964a5aac5 (diff)
Added equiv_induct
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 16abcd96..385170c9 100644
--- a/passes/equiv/Makefile.inc
+++ b/passes/equiv/Makefile.inc
@@ -2,4 +2,5 @@
OBJS += passes/equiv/equiv_make.o
OBJS += passes/equiv/equiv_simple.o
OBJS += passes/equiv/equiv_status.o
+OBJS += passes/equiv/equiv_induct.o