no message

TAPAAL · Dec 30, 2023 · d6d7cd8 · d6d7cd8
1 parent 1e82258
commit d6d7cd8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/Colored/ColoredPetriNetBuilder.h b/include/Colored/ColoredPetriNetBuilder.h
@@ -23,7 +23,7 @@ namespace unfoldtacpn {
 
     public:
         ColoredPetriNetBuilder(const bool print_binding=false);
-        ColoredPetriNetBuilder(const ColoredPetriNetBuilder& orig, const bool print_binding=false);
+        ColoredPetriNetBuilder(const ColoredPetriNetBuilder& orig);
         virtual ~ColoredPetriNetBuilder();
         void parseNet(std::istream& istream);