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