From e8f8e5aa2f4a2372452e77ffe1cf8a035ce8cf8a Mon Sep 17 00:00:00 2001 From: Minijackson Date: Fri, 20 Jan 2023 15:55:55 +0100 Subject: Cargo: disable Rust example for now --- Cargo.lock | 9 --------- Cargo.toml | 2 +- 2 files changed, 1 insertion(+), 10 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 4ea2620..6fd149f 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -188,15 +188,6 @@ dependencies = [ "palette", ] -[[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" 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", ] -- cgit v1.2.3