Updated unfoldtacpn

Related to TAPAAL/verifydtapn#36 See TAPAAL/verifydtapn#35
TAPAAL · May 11, 2023 · c3be847 · c3be847
1 parent 0ed479c
commit c3be847
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -102,7 +102,7 @@ if (VERIFYTAPN_GetDependencies)
 
     ExternalProject_add(unfoldtacpn-ext
         GIT_REPOSITORY https://github.com/TAPAAL/unfoldTACPN
-        GIT_TAG f6f3c510251ca324a4d9d722a36400768f4a367a
+        GIT_TAG 7f49fa4544c5a55acd965210e2bd6f702584b969
 	    CMAKE_ARGS -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TOOLCHAIN_FILE} -DCMAKE_C_COMPILER=${CMAKE_C_COMPILER} -DCMAKE_CXX_COMPILER=${CMAKE_CXX_COMPILER}  -DCMAKE_INSTALL_PREFIX=${EXTERNAL_INSTALL_LOCATION} -DBUILD_TESTING=OFF -DCMAKE_BUILD_TYPE=Release -DFLEX_EXECUTABLE=${FLEX_EXECUTABLE} -DBISON_EXECUTABLE=${BISON_EXECUTABLE}
     )