diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-25 17:17:37 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-25 17:17:37 -0700 |
commit | 76c4d22229f24a7547861ccbe3b5e9e4882b4602 (patch) | |
tree | 63fc9de82cadceaff45267492b75ed92edd48b47 /src/base/wlc/module.make | |
parent | befb73079a08dae3e5bb0a742520bbe1a48cda83 (diff) | |
download | abc-76c4d22229f24a7547861ccbe3b5e9e4882b4602.tar.gz abc-76c4d22229f24a7547861ccbe3b5e9e4882b4602.tar.bz2 abc-76c4d22229f24a7547861ccbe3b5e9e4882b4602.zip |
Parser for JSON format.
Diffstat (limited to 'src/base/wlc/module.make')
-rw-r--r-- | src/base/wlc/module.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/wlc/module.make b/src/base/wlc/module.make index 7bc7aa39..081be200 100644 --- a/src/base/wlc/module.make +++ b/src/base/wlc/module.make @@ -2,6 +2,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/wlcJson.c \ src/base/wlc/wlcNtk.c \ src/base/wlc/wlcReadSmt.c \ src/base/wlc/wlcReadVer.c \ |