diff --git a/src/grf.pnml b/src/grf.pnml index c1aa8984..27d8d5c4 100644 --- a/src/grf.pnml +++ b/src/grf.pnml @@ -8,7 +8,7 @@ grf { version: 12; //bump up this number to whatever the "next release" version is when breaking compatibility. // Eg if 8 (2.8) has released and the next version is 9 (2.9) then set it to 9 - min_compatible_version: 12; + min_compatible_version: 10; param 0 { param_max_speed { type: int;