changeset 108:7852a62809ba

Minor formatting
author Fox
date Mon, 29 May 2023 01:35:51 +0200
parents e4588b8a8ddc
children c5bd33a186fa
files src/junotu/Database.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/junotu/Database.java	Sat Apr 08 00:14:40 2023 +0200
+++ b/src/junotu/Database.java	Mon May 29 01:35:51 2023 +0200
@@ -109,7 +109,7 @@
 		System.out.print("Database: resaving all cards without modifying edit timestamp..\n");
 		try {
 			TopDocs topDocuments = luceneSearcher.search(
-			new MatchAllDocsQuery(),
+				new MatchAllDocsQuery(),
 				1000000
 			);