Release commit

marcelosousa · Oct 19, 2018 · 0b7b426 · 0b7b426
1 parent 20308e1
commit 0b7b426
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/poet.cabal b/poet.cabal
@@ -1,5 +1,5 @@
 Name:               poet
-Version:            0.2.2
+Version:            2.0
 Cabal-Version:      >= 1.2
 Author:             Marcelo Sousa
 Synopsis:           POET: Partial Order Exploration Tools