1 files changed, 0 insertions, 9 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 = [