Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap

2018-09-10 17:08:43 +01:00
parent 5c8f8457fa e0cc401381
commit 81998122a8
2 changed files with 1 additions and 2 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -782,7 +782,7 @@ option(WITH_LBFGS
        "interface  with lbfgs" ON)

 if (WITH_LBFGS)
-    add_subDIRECTORY(packages/yap-lbfgs)
+#    add_subDIRECTORY(packages/yap-lbfgs)
 endif ()


--- a/pl/meta.yap
+++ b/pl/meta.yap
@@ -425,7 +425,6 @@ meta_predicate(P) :-
    ->
     O = G
    ;
-    stop_low_level_trace,
     O = M:G
    ).
 */