summaryrefslogtreecommitdiff
path: root/mi/Makefile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2016-01-01 01:05:50 -0800
committerOri Bernstein <ori@eigenstate.org>2016-01-01 01:05:50 -0800
commitffc55ee721c02d1caede8d7fbad9e8b687f01306 (patch)
tree5ebf03f748eea405339fc1e013675cb3f35442d4 /mi/Makefile
parent7ef2abad32fe3b273f16eeb28d63a63229dca3a6 (diff)
downloadmc-ffc55ee721c02d1caede8d7fbad9e8b687f01306.tar.gz
Actually check array sizes when inferring.
Diffstat (limited to 'mi/Makefile')
-rw-r--r--mi/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/mi/Makefile b/mi/Makefile
index 3a7cd1b..b0e3645 100644
--- a/mi/Makefile
+++ b/mi/Makefile
@@ -1,7 +1,6 @@
LIB=libmi.a
OBJ=cfg.o \
dfcheck.o \
- fold.o \
match.o \
reaching.o \