diff --git a/src/Core/TAPN/TimedArcPetriNet.cpp b/src/Core/TAPN/TimedArcPetriNet.cpp index 619dcdbb..74203166 100755 --- a/src/Core/TAPN/TimedArcPetriNet.cpp +++ b/src/Core/TAPN/TimedArcPetriNet.cpp @@ -349,7 +349,7 @@ namespace TAPN { << "\" urgent=\"" << std::boolalpha << transition->isUrgent() << "\" weight=\"" << ( transition->getWeight() == std::numeric_limits::infinity() ? - "Infinity" : std::to_string(transition->getWeight()) + "inf" : std::to_string(transition->getWeight()) ) << "\" firingMode=\"" << SMC::firingModeName(transition->getFiringMode()) << "\" " << transition->getDistribution().toXML()