2 files changed, 55 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 \
diff --git a/src/base/wlc/wlcJson.c b/src/base/wlc/wlcJson.c
new file mode 100644
index 00000000..a65741ce
--- /dev/null
+++ b/src/base/wlc/wlcJson.c
@@ -0,0 +1,54 @@
+/**CFile****************************************************************
+
+  FileName    [wlcJson.c]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [Experimental procedures.]
+
+  Synopsis    [Parses several flavors of word-level Verilog.]
+
+  Author      [Alan Mishchenko]
+  
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - August 22, 2014.]
+
+  Revision    [$Id: wlcJson.c,v 1.00 2014/09/12 00:00:00 alanmi Exp $]
+
+***********************************************************************/
+
+#include "wlc.h"
+
+ABC_NAMESPACE_IMPL_START
+
+////////////////////////////////////////////////////////////////////////
+///                        DECLARATIONS                              ///
+////////////////////////////////////////////////////////////////////////
+
+////////////////////////////////////////////////////////////////////////
+///                     FUNCTION DEFINITIONS                         ///
+////////////////////////////////////////////////////////////////////////
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+void Wlc_JsonTest()
+{
+}
+
+////////////////////////////////////////////////////////////////////////
+///                       END OF FILE                                ///
+////////////////////////////////////////////////////////////////////////
+
+
+ABC_NAMESPACE_IMPL_END
+