Fix wrong color for tranisitions after switching of type of net

Lecrapouille · Apr 27, 2024 · 622b9cf · 622b9cf
1 parent ca0ea66
commit 622b9cf
Showing 1 changed file with 3 additions and 10 deletions.
diff --git a/src/Net/PetriNet.cpp b/src/Net/PetriNet.cpp
@@ -748,19 +748,12 @@ bool convertTo(Net& net, TypeOfNet const type, std::string& error, std::vector<A
         if ((!net.isEmpty()) && (!isEventGraph(net, error, erroneous_arcs)))
             return false;
     }
-    else if (type == TypeOfNet::GRAFCET)
-    {
-        // For GRAFCET we check validity of the syntax of transitivities
-        if (!net.resetReceptivies())
-        {
-            error = "Invalid syntax in receptivities";
-            return false;
-        }
-    }
 
-    net.m_type = type;
     applyNewNetSettings(type);
 
+    net.m_type = type;
+    net.resetReceptivies();
+
     if (type == TypeOfNet::GRAFCET)
     {
         // Constrain the number of tokens.