From 5a0008d20063b4fd3acab16162bddb0e74689aae Mon Sep 17 00:00:00 2001 From: "Vasil S. Dyadov" Date: Wed, 24 Nov 2021 08:10:16 +0300 Subject: [PATCH] 06_procedures: added imports LIST --- 06_procedures.k.sol | 1 + 1 file changed, 1 insertion(+) diff --git a/06_procedures.k.sol b/06_procedures.k.sol index 26c005d..02728d7 100644 --- a/06_procedures.k.sol +++ b/06_procedures.k.sol @@ -63,6 +63,7 @@ module PROCEDURES imports INT imports BOOL imports MAP + imports LIST imports PROCEDURES-SYNTAX configuration