From 6dd2e6b414d9fe5a526a9b1208ed248edc8a78f1 Mon Sep 17 00:00:00 2001
From: nmacedo <nfmmacedo@di.uminho.pt>
Date: Wed, 27 Jan 2021 15:35:51 +0000
Subject: [PATCH] logger lib

---
 org.alloytools.alloy.dist/bnd.bnd | 1 +
 1 file changed, 1 insertion(+)

diff --git a/org.alloytools.alloy.dist/bnd.bnd b/org.alloytools.alloy.dist/bnd.bnd
index 5801180ef..0411996e8 100644
--- a/org.alloytools.alloy.dist/bnd.bnd
+++ b/org.alloytools.alloy.dist/bnd.bnd
@@ -28,4 +28,5 @@ Main-Class: edu.mit.csail.sdg.alloy4whole.Alloy
 	@${repo;org.sat4j.maxsat}, \
 	@${repo;org.sat4j.pb}, \
 	@${repo;org.apache.commons.cli}, \
+	@${repo;slf4j.simple} ,\
 	LICENSES