From 79c3a4c770fff875db4d93b7a02c52bf428b6f4d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Agust=C3=ADn=20Borgna?= Date: Mon, 25 Nov 2024 16:00:27 +0000 Subject: [PATCH] s/identity/identifier/ --- hugr-core/src/proptest.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hugr-core/src/proptest.rs b/hugr-core/src/proptest.rs index 2dcef084a..c53949b23 100644 --- a/hugr-core/src/proptest.rs +++ b/hugr-core/src/proptest.rs @@ -150,7 +150,7 @@ pub fn any_nonempty_smolstr() -> SBoxedStrategy { ANY_NONEMPTY_STRING.to_owned().prop_map_into().sboxed() } -/// A strategy for generating an arbitrary nonempty identity [String]. +/// A strategy for generating an arbitrary nonempty identifier [String]. pub fn any_ident_string() -> SBoxedStrategy { ANY_IDENT_STRING.to_owned() }