Adjusted default params

darrenldl · Sep 5, 2023 · 054bb3d · 054bb3d
1 parent b8663bf
commit 054bb3d
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,11 @@
 # Changelog
 
+## 1.3.3
+
+- Performance tuning
+
+    - Switched back to using the old default max word search distance of 20
+
 ## 1.3.2
 
 - Performance tuning

diff --git a/bin/version_string.ml b/bin/version_string.ml
@@ -1 +1 @@
-let s = "1.3.2"
+let s = "1.3.3"
diff --git a/lib/params.ml b/lib/params.ml
@@ -2,7 +2,7 @@ let search_result_max_total = 50
 
 let search_result_min_per_start = 5
 
-let default_max_word_search_distance = 10
+let default_max_word_search_distance = 20
 
 let max_word_search_distance = ref default_max_word_search_distance