From f51eabbe3a6c40b83ec04ef01a5dc561daa95695 Mon Sep 17 00:00:00 2001
From: John van Groningen <johnvg@cs.ru.nl>
Date: Tue, 14 Aug 2018 10:20:07 +0000
Subject: [PATCH] add import StdStrictLists to StdEnv.dcl

---
 StdEnv.dcl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/StdEnv.dcl b/StdEnv.dcl
index 81eff79d..9bf84d6d 100644
--- a/StdEnv.dcl
+++ b/StdEnv.dcl
@@ -27,4 +27,6 @@ import
 	StdFunc,
 	StdMisc,
 
-	StdEnum
+	StdEnum,
+	StdStrictLists
+
-- 
GitLab