set AutomataLib version to 0.7.1
@@ -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>
