2 files changed, 1 insertions, 10 deletions

diff --git a/Cargo.lock b/Cargo.lock
index 4ea2620..6fd149f 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -189,15 +189,6 @@ dependencies = [
 ]
 
 [[package]]
-name = "diaphragm-examples-lib-dfscq-log"
-version = "0.1.0"
-dependencies = [
- "diaphragm-cairo-renderer",
- "diaphragm-core",
- "diaphragm-z3-solver",
-]
-
-[[package]]
 name = "diaphragm-lua-bindings"
 version = "0.1.0"
 dependencies = [
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",
 ]