summaryrefslogtreecommitdiff
path: root/parse/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 /parse/Makefile
parent7ef2abad32fe3b273f16eeb28d63a63229dca3a6 (diff)
downloadmc-ffc55ee721c02d1caede8d7fbad9e8b687f01306.tar.gz
Actually check array sizes when inferring.
Diffstat (limited to 'parse/Makefile')
-rw-r--r--parse/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/parse/Makefile b/parse/Makefile
index 36d9fc7..1eaac98 100644
--- a/parse/Makefile
+++ b/parse/Makefile
@@ -1,6 +1,7 @@
LIB=libparse.a
OBJ=bitset.o \
dump.o \
+ fold.o \
gram.o \
htab.o \
infer.o \