From 695a15a5523b958013a018690343b83f7125ad54 Mon Sep 17 00:00:00 2001 From: Ivan Poliakov Date: Wed, 11 Apr 2012 01:15:04 +0100 Subject: [PATCH] Reformatted DotGParser --- .../scala/org/workcraft/plugins/petrify/DotGParser.scala | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/PetrifyPlugin2/src/main/scala/org/workcraft/plugins/petrify/DotGParser.scala b/PetrifyPlugin2/src/main/scala/org/workcraft/plugins/petrify/DotGParser.scala index a892e3ad..56fbba36 100644 --- a/PetrifyPlugin2/src/main/scala/org/workcraft/plugins/petrify/DotGParser.scala +++ b/PetrifyPlugin2/src/main/scala/org/workcraft/plugins/petrify/DotGParser.scala @@ -118,15 +118,15 @@ object DotGParser extends Parsers with RegexParsers { def parseTask(file: File) = new Task[DotG, String] { def runTask(tc: TaskControl) = (tc.descriptionUpdate("Reading " + file.getPath) >>=| (parseDotG(file))).map { - case Left(err) => Left(Some(err)) - case Right(dotg) => Right(dotg) + case Left(err) => Left(Some(err)) + case Right(dotg) => Right(dotg) } } } object Test extends App { DotGParser.parseDotG(new File("e:/winpetrify/stgshka.g")) match { - case Left(err) => println (err) - case Right(dotg) => println (PetriNetBuilder.buildPetriNet(dotg).unsafePerformIO) + case Left(err) => println(err) + case Right(dotg) => println(PetriNetBuilder.buildPetriNet(dotg).unsafePerformIO) } }