Skip to content
  • Etienne Renault's avatar
    Fix compilation problems · 3b1faf5e
    Etienne Renault authored
    * Makefile.am: Fix subdirs.
    * configure.ac: Fix options
    * libpn/Makefile.am: Remove subdir
    * libpn/pnparse.yy: Fix variables.
    * src/modelcheck.cpp: Remove obsolete code.
    3b1faf5e