bootlist

2016-02-26 17:49:50 +00:00
parent 77123269e7
commit 733a03beef
2 changed files with 2 additions and 1 deletions
--- a/library/CMakeLists.txt
+++ b/library/CMakeLists.txt
@@ -8,6 +8,7 @@ set (LIBRARY_PL
  autoloader.yap
  avl.yap
  bhash.yap
+  bootlists.yap
  charsio.yap
  clauses.yap
  coinduction.yap