Changes in src/Parser/FormatParser.cpp [73916f:bcf653]

File:

• src/Parser/FormatParser.cpp (modified) (1 diff)

src/Parser/FormatParser.cpp

@@ -52 +52 @@
   }
 
-  std::vector<atom *> atoms = World::getInstance().getAllAtoms();
-  save(saveStream, atoms);
+  save(saveStream);
 }