Skip to content

Commit

Permalink
Fix configure file
Browse files Browse the repository at this point in the history
  • Loading branch information
Bernhard Scholz authored and Bernhard Scholz committed Aug 4, 2020
1 parent b4de1de commit b0aecd2
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions configure.ac
View file
Original file line number Diff line number Diff line change
Expand Up @@ -303,6 +303,7 @@ AC_CONFIG_LINKS([include/souffle/SignalHandler.h:src/SignalHandler.h])
AC_CONFIG_LINKS([include/souffle/SouffleInterface.h:src/SouffleInterface.h])
AC_CONFIG_LINKS([include/souffle/SymbolTable.h:src/SymbolTable.h])
AC_CONFIG_LINKS([include/souffle/Table.h:src/Table.h])
AC_CONFIG_LINKS([include/souffle/TypeAttribute.h:src/TypeAttribute.h])
AC_CONFIG_LINKS([include/souffle/Brie.h:src/Brie.h])
AC_CONFIG_LINKS([include/souffle/UnionFind.h:src/UnionFind.h])
AC_CONFIG_LINKS([include/souffle/utility/CacheUtil.h:src/utility/CacheUtil.h])
Expand Down

0 comments on commit b0aecd2

Please sign in to comment.