From 3685983ef41923ae325a4b298c273ed01313af06 Mon Sep 17 00:00:00 2001
From: Fabrizio Riguzzi <fabrizio.riguzzi@unife.it>
Date: Wed, 5 Dec 2018 19:31:09 +0100
Subject: [PATCH] up ver

---
 pack.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pack.pl b/pack.pl
index 5ffc911..35bff7f 100644
--- a/pack.pl
+++ b/pack.pl
@@ -1,5 +1,5 @@
 name(bddem).
 title('A library for manipulating Binary Decision Diagrams').
-version('4.3.0').
+version('4.3.1').
 author('Fabrizio Riguzzi','fabrizio.riguzzi@unife.it').
 download('https://github.com/friguzzi/bddem/releases/*.zip').