Update docstring to match other partial operators

informalsystems · Oct 4, 2024 · f5ad90a · f5ad90a
1 parent aec3781
commit f5ad90a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/pages/docs/builtin.md b/docs/pages/docs/builtin.md
@@ -311,7 +311,7 @@ assert(Set(1).allListsUpTo(2) == Set([], [1], [1, 1]))
 Signature: `pure def getOnlyElement: (Set[a]) => a`
 
 `s.getOnlyElement()` is, deterministically, the only element of `s`.
-If the size of `s` is not 1, it results in a error.
+If the size of `s` is not 1, this operator has undefined behavior.
 
 ### Examples
 

diff --git a/quint/src/builtin.qnt b/quint/src/builtin.qnt
@@ -237,7 +237,7 @@ module builtin {
   pure def allListsUpTo(s: Set[a], max_length: int): Set[List[a]]
 
   /// `s.getOnlyElement()` is, deterministically, the only element of `s`.
-  /// If the size of `s` is not 1, it results in a error.
+  /// If the size of `s` is not 1, this operator has undefined behavior.
   ///
   /// ### Examples
   ///