debugging

2019-01-30 15:24:06 +00:00
parent 847edfd432
commit f7ed109d1c
9 changed files with 2078 additions and 2266 deletions
--- a/cmake/Sources.cmake
+++ b/cmake/Sources.cmake
@@ -65,6 +65,7 @@ set (ENGINE_SOURCES
  C/tracer.c
  C/unify.c
  C/userpreds.c
+  C/terms.c
  C/utilpreds.c
  C/yap-args.c
  C/write.c