Fix invalid example code in doc of blame_with_message (#1689)

Fix wrong method name: "std.contract.blame_with_message_message" should be: "std.contract.blame_with_message"
tweag · Oct 19, 2023 · d61145b · d61145b
1 parent cde6290
commit d61145b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/stdlib/std.ncl b/core/stdlib/std.ncl
@@ -910,7 +910,7 @@
             if value == 0 then
               value
             else
-              std.contract.blame_with_message_message "Not zero" label
+              std.contract.blame_with_message "Not zero" label
           in
 
           0 | IsZero