summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/module.make
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2017-03-17 08:48:27 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2017-03-17 08:48:27 -0700
commitd66ff2cf54d7b4bb87c53b9cd27a6dc3f9df1630 (patch)
treedcaa1612a1fed85af07696275c251ad6b767d0a2 /src/base/wlc/module.make
parent34bcabcbf4cb2cf542ed0d2248ee6422b63cdf1d (diff)
downloadabc-d66ff2cf54d7b4bb87c53b9cd27a6dc3f9df1630.tar.gz
abc-d66ff2cf54d7b4bb87c53b9cd27a6dc3f9df1630.tar.bz2
abc-d66ff2cf54d7b4bb87c53b9cd27a6dc3f9df1630.zip
New word-level transformation.
Diffstat (limited to 'src/base/wlc/module.make')
-rw-r--r--src/base/wlc/module.make1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/wlc/module.make b/src/base/wlc/module.make
index c4330264..29770937 100644
--- a/src/base/wlc/module.make
+++ b/src/base/wlc/module.make
@@ -3,6 +3,7 @@ SRC += src/base/wlc/wlcAbs.c \
src/base/wlc/wlcAbc.c \
src/base/wlc/wlcBlast.c \
src/base/wlc/wlcCom.c \
+ src/base/wlc/wlcGraft.c \
src/base/wlc/wlcJson.c \
src/base/wlc/wlcNtk.c \
src/base/wlc/wlcReadSmt.c \