Rollback : weight is now "inf", hardcoded to be sure

TAPAAL · Sep 23, 2024 · a4410d2 · a4410d2
1 parent bc24e33
commit a4410d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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<double>::infinity() ?
-                    "Infinity" : std::to_string(transition->getWeight())
+                    "inf" : std::to_string(transition->getWeight())
                 )
                 << "\" firingMode=\"" << SMC::firingModeName(transition->getFiringMode())
                 << "\" " << transition->getDistribution().toXML()