pearlite-syn: Mention Creusot in description (#1387)

creusot-rs · Feb 27, 2025 · 3b51034 · 3b51034
2 parents c8eb13c + 82b7434
commit 3b51034
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pearlite-syn/Cargo.toml b/pearlite-syn/Cargo.toml
@@ -4,7 +4,7 @@ version = "0.3.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/creusot-rs/creusot"
-description = "A syn parser for the Pearlite specification language"
+description = "A syn parser for the Pearlite specification language in Creusot"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html