From f81c9868f846a96d8396af56b25eacf9f5c0593e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 1 Apr 2019 13:47:03 +0200 Subject: [PATCH] Typo --- src/ligo/ast_typed.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ligo/ast_typed.ml b/src/ligo/ast_typed.ml index d87ee1a71..240715ec1 100644 --- a/src/ligo/ast_typed.ml +++ b/src/ligo/ast_typed.ml @@ -339,7 +339,7 @@ let rec assert_value_eq (a, b: (value*value)) : unit result = match (a.expressio | E_constant (ca, lsta), E_constant (cb, lstb) when ca = cb -> ( let%bind lst = - generic_try (simple_error "constants with different numbers of elements") + generic_try (simple_error "constants with different number of elements") (fun () -> List.combine lsta lstb) in let%bind _all = bind_list @@ List.map assert_value_eq lst in ok () @@ -360,7 +360,7 @@ let rec assert_value_eq (a, b: (value*value)) : unit result = match (a.expressio | E_tuple lsta, E_tuple lstb -> ( let%bind lst = - generic_try (simple_error "tuples with different numbers of elements") + generic_try (simple_error "tuples with different number of elements") (fun () -> List.combine lsta lstb) in let%bind _all = bind_list @@ List.map assert_value_eq lst in ok ()