set(SRCS
  SexpInliner.c
)

nusmv_add_pkg_lib(${SRCS})

nusmv_add_pkg_headers(SexpInliner.h)
