summaryrefslogtreecommitdiff
path: root/mi/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'mi/Makefile')
-rw-r--r--mi/Makefile12
1 files changed, 7 insertions, 5 deletions
diff --git a/mi/Makefile b/mi/Makefile
index b0e3645..2942d83 100644
--- a/mi/Makefile
+++ b/mi/Makefile
@@ -1,9 +1,11 @@
LIB=libmi.a
-OBJ=cfg.o \
- dfcheck.o \
- match.o \
- reaching.o \
-
+OBJ=\
+ cfg.o \
+ flatten.o \
+ dfcheck.o \
+ match.o \
+ reaching.o \
+
DEPS=../parse/libparse.a