--- a/src/Pure/Tools/sqlite.scala Sat Sep 03 22:56:57 2016 +0200
+++ b/src/Pure/Tools/sqlite.scala Sat Sep 03 23:25:02 2016 +0200
@@ -1,6 +1,5 @@
/* Title: Pure/Tools/sqlite.scala
Author: Makarius
- Options: :folding=explicit:
Support for SQLite databases.
*/