diff --git a/src/plugins/dive/server_interface.ml b/src/plugins/dive/server_interface.ml
index 07044b5697a2a26159d974aad3ed62973bb42b6a..23cebe7468d70af93d87fb44ff3ceb1ce9513202 100644
--- a/src/plugins/dive/server_interface.ml
+++ b/src/plugins/dive/server_interface.ml
@@ -65,11 +65,11 @@ module Variable = Data.Collection (struct
 
     let syntax = R.syntax
 
-    let fun_field = R.option "fun"
+    let _fun_field = R.option "fun"
         ~descr:(Markdown.rm "owner function for a local variable")
         (module Data.Jstring)
 
-    let var_field = R.field "var"
+    let _var_field = R.field "var"
         ~descr:(Markdown.rm "variable name")
         (module Data.Jstring)