Merge pull request #5 from Khady/louis/tyxml460

fix compilation with tyxml.4.6.0
Julow · Jan 30, 2024 · a1f640d · a1f640d
2 parents b674e99 + cc414ae
commit a1f640d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/sherlodoc.opam b/sherlodoc.opam
@@ -14,7 +14,7 @@ depends: [
   "fpath"
   "odoc" {= "2.1.0"}
   "opam-core"
-  "tyxml"
+  "tyxml" {>= "4.6.0"}
 ]
 build: [
   ["dune" "subst"] {dev}

diff --git a/www/ui.ml b/www/ui.ml
@@ -71,7 +71,7 @@ let search_form query =
               ; a_value query
               ; a_placeholder "Search..."
               ; a_autofocus ()
-              ; a_autocomplete false
+              ; a_autocomplete `Off
               ]
             ()
         ; input ~a:[ a_input_type `Submit; a_value "Search!" ] ()