From 7d4055b32711dd5f6c4c8a87911f6af26e94d912 Mon Sep 17 00:00:00 2001 From: bruno Date: Fri, 22 Jun 2018 21:39:56 +0200 Subject: [PATCH] Alpha: fix error in comment --- .../lib_protocol/src/script_tc_errors_registration.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/proto_alpha/lib_protocol/src/script_tc_errors_registration.ml b/src/proto_alpha/lib_protocol/src/script_tc_errors_registration.ml index 81ee38eeb..b00338de0 100644 --- a/src/proto_alpha/lib_protocol/src/script_tc_errors_registration.ml +++ b/src/proto_alpha/lib_protocol/src/script_tc_errors_registration.ml @@ -393,7 +393,7 @@ let () = (function Unexpected_annotation loc -> Some (loc, ()) | _ -> None) (fun (loc, ()) -> Unexpected_annotation loc); - (* Unexpected annotation *) + (* Ungrouped annotations *) register_error_kind `Permanent ~id:"ungroupedAnnotations"