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

File:

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

src/Parser/FormatParser.cpp ¶

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