From 34d839cbabd448ac3c678c54fcb4d988533ca1bf Mon Sep 17 00:00:00 2001
From: Markus Frohme <markus.frohme@udo.edu>
Date: Fri, 11 May 2018 17:37:02 +0200
Subject: [PATCH] set AutomataLib version to 0.7.1

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 8540acce4f..ba0a371167 100644
--- a/pom.xml
+++ b/pom.xml
@@ -187,7 +187,7 @@ limitations under the License.
         <upload-plugin.version>1.1</upload-plugin.version>
 
         <!-- dependency versions -->
-        <automatalib.version>0.8.0-SNAPSHOT</automatalib.version>
+        <automatalib.version>0.7.1</automatalib.version>
         <buildergen.version>0.1</buildergen.version>
         <checkstyle.version>8.1</checkstyle.version>
         <findbugs-annotations.version>3.0.2</findbugs-annotations.version>