Add creusot-dev-config to workspace in Cargo.toml

creusot-rs · Dec 3, 2024 · d337e83 · d337e83
1 parent 5322506
commit d337e83
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -8,6 +8,7 @@ members = [
   "creusot-contracts-proc",
   "creusot-contracts-dummy",
   "creusot-metadata",
+  "creusot-dev-config",
   "why3",
   "why3tests",
   "pearlite-syn",