Fix cargo patch

informalsystems · Jan 16, 2025 · dc03486 · dc03486
1 parent d932f6a
commit dc03486
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/light-client/Cargo.lock b/light-client/Cargo.lock
diff --git a/light-client/Cargo.toml b/light-client/Cargo.toml
@@ -74,7 +74,10 @@ cgp-field               = { git = "https://github.com/contextgeneric/cgp.git" }
 cgp-field-macro         = { git = "https://github.com/contextgeneric/cgp.git" }
 cgp-field-macro-lib     = { git = "https://github.com/contextgeneric/cgp.git" }
 cgp-error               = { git = "https://github.com/contextgeneric/cgp.git" }
+cgp-error-extra         = { git = "https://github.com/contextgeneric/cgp.git" }
 cgp-run                 = { git = "https://github.com/contextgeneric/cgp.git" }
+cgp-runtime             = { git = "https://github.com/contextgeneric/cgp.git" }
+cgp-sync                = { git = "https://github.com/contextgeneric/cgp.git" }
 cgp-inner               = { git = "https://github.com/contextgeneric/cgp.git" }
 
 hermes-encoding-components          = { git = "https://github.com/informalsystems/hermes-sdk.git" }