diff --git a/CMakeLists.txt b/CMakeLists.txt index c6b97dd1c..fd269dd90 100644 --- 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 () diff --git a/pl/meta.yap b/pl/meta.yap index 0930c138c..e2a8cbaba 100644 --- a/pl/meta.yap +++ b/pl/meta.yap @@ -425,7 +425,6 @@ meta_predicate(P) :- -> O = G ; - stop_low_level_trace, O = M:G ). */