set AutomataLib version to 0.7.1

LearnLib · May 11, 2018 · 34d839c · 34d839c
1 parent 95ef80a
commit 34d839c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>