Update core/stdlib/std.ncl

tweag · May 14, 2024 · 36dfa2f · 36dfa2f
1 parent 266e461
commit 36dfa2f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/stdlib/std.ncl b/core/stdlib/std.ncl
@@ -835,7 +835,7 @@
         # Example
 
         ```nickel
-        [ (1 == 2), (1 == 1), (1 == 3) ] |> std.contract.check
+        [ (1 == 2), (1 == 1), (1 == 3) ] |> std.contract.assert_all
          => error: contract broken by a value
         ```