src/Tools/VSCode/src/grammar.scala
changeset 64744 ba0d4829d5f1
parent 64742 5f946e8887c5
child 64745 0f002c15f3ab
--- a/src/Tools/VSCode/src/grammar.scala	Mon Jan 02 09:39:00 2017 +0100
+++ b/src/Tools/VSCode/src/grammar.scala	Mon Jan 02 09:41:25 2017 +0100
@@ -146,6 +146,6 @@
     val output_path = output getOrElse Path.explode(default_output(logic))
 
     Output.writeln(output_path.implode)
-    File.write(output_path, generate(keywords))
+    File.write_backup(output_path, generate(keywords))
   })
 }