Commit 56c45cf6 authored by Lulu Luong's avatar Lulu Luong

savepoint bug found

parent 774a7df3
Pipeline #42098 passed with stages
in 5 minutes and 47 seconds
......@@ -77,7 +77,7 @@ public class SaveCommand implements CommandHandler<KeyData> {
if(execute.get())
interpreter.getSelectedNode().getData().getProof().saveToFile(newFile);
KeyPersistentFacade.write(interpreter.getCurrentState(), new FileWriter(sp.getPersistedStateFile(newFile)));
KeyPersistentFacade.write(interpreter.getCurrentState(), new FileWriter(sp.getPersistedStateFile(newFile.getParentFile())));
System.out.println();
} catch (IOException e) {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment