1 files changed, 1 insertions, 1 deletions

diff --git a/Cargo.toml b/Cargo.toml
index 91eae68..6188e85 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -6,5 +6,5 @@ members = [
         "lua-bindings",
         "z3-solver",
 
-        "examples/lib-dfscq-log",
+        # "examples/lib-dfscq-log",
 ]