From 7daf218b2a7c63dfaa435d0023455cc45a37be11 Mon Sep 17 00:00:00 2001
From: radrow <radrowicki@gmail.com>
Date: Fri, 19 Jul 2019 18:10:54 +0200
Subject: [PATCH] Changed 'require' function return type to Unit

---
 src/aeso_ast_infer_types.erl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index becef2e..b239458 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -385,7 +385,7 @@ global_env() ->
                      {"FixedTTL",    Fun1(Int, TTL)},
                      %% Abort
                      {"abort", Fun1(String, A)},
-                     {"require", Fun([Bool, String], A)}])
+                     {"require", Fun([Bool, String], Unit)}])
         , types = MkDefs(
                     [{"int", 0}, {"bool", 0}, {"char", 0}, {"string", 0}, {"address", 0},
                      {"hash", {[], {alias_t, Bytes(32)}}},