diff --git a/src/main/java/de/tudresden/inf/st/pnml/Main.java b/src/main/java/de/tudresden/inf/st/pnml/Main.java index a09917651d9684b3452557944707764deadfbc2a..7ea32ccbef31fe846ad13fcc1721368a57bf01b4 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/Main.java +++ b/src/main/java/de/tudresden/inf/st/pnml/Main.java @@ -91,7 +91,7 @@ public class Main { parser = new PnmlParser(pmnlNet); petriNets.add(parser.getPetriNet()); } catch (PnmlParseException e) { - logger.error("Parsing the Petri net using the PNML framawork failed.", e); + logger.error("Parsing the Petri net using the PNML framework failed.", e); } }