diff --git a/src/plugins/impact/compute_impact.ml b/src/plugins/impact/compute_impact.ml
index e6011b9cf1fb4feb335dfee79176284442e4f2cc..4305f65b876bc2d4292644d27645c2ed8445ad9a 100644
--- a/src/plugins/impact/compute_impact.ml
+++ b/src/plugins/impact/compute_impact.ml
@@ -98,9 +98,9 @@ type worklist = {
                                          been found. The impact on upward calls to those callees
                                          will have to be computed again. *);
 
-  mutable skip: Locations.Zone.t (** Locations for which the impact is
-                                     dismissed. Nodes that involve only those zones are skipped. Constant
-                                     after initialization *);
+  skip: Locations.Zone.t (** Locations for which the impact is
+                             dismissed. Nodes that involve only those zones
+                             are skipped. Constant after initialization *);
 
   mutable initial_nodes: nodes KFM.t
 (** Nodes that are part of the initial impact query, or directly
diff --git a/src/plugins/pdg/build.ml b/src/plugins/pdg/build.ml
index 0be61e58080f0321e7d2220cfdbe58783ae94e6d..e90ada08bba331ce0f7190093d8c7d5c56d9630f 100644
--- a/src/plugins/pdg/build.ml
+++ b/src/plugins/pdg/build.ml
@@ -68,7 +68,6 @@ type arg_nodes = Node.t list
 (** type of the whole PDG representation during its building process *)
 type pdg_build = {
   fct : kernel_function;
-  mutable topinput : PdgTypes.Node.t option;
   mutable other_inputs :
     (PdgTypes.Node.t * Dpd.td * Locations.Zone.t) list;
   graph : G.t;
@@ -92,7 +91,7 @@ let create_pdg_build kf =
   let states = Stmt.Hashtbl.create nb_stmts in
   let graph = G.create () in
   { fct = kf; graph = graph; states = states; index = index;
-    topinput = None; other_inputs = [];
+    other_inputs = [];
     ctrl_dpds  = Stmt.Hashtbl.create nb_stmts ;
     decl_nodes = Varinfo.Hashtbl.create 10 ;
   }
diff --git a/src/plugins/server/data.ml b/src/plugins/server/data.ml
index 94d38a13b406b54f2fdee565bf9de5221d806f3a..4981a9460bd9b0ed0c76565c8c034f75fc8ed921 100644
--- a/src/plugins/server/data.ml
+++ b/src/plugins/server/data.ml
@@ -449,7 +449,6 @@ struct
   type 'a dictionary = {
     values : (string,'a option) Hashtbl.t ;
     vindex : ('a,string) Hashtbl.t ;
-    mutable syntax : Markdown.text ;
     mutable published : (package * string) option ;
     mutable tags : tagInfo list ;
     mutable prefix : tagInfo list ;
@@ -468,7 +467,6 @@ struct
     published = None ;
     values = Hashtbl.create 0 ;
     vindex = Hashtbl.create 0 ;
-    syntax = [] ;
     prefix = [] ;
     tags = [] ;
     lookup = None ;
diff --git a/src/plugins/value/gui_files/gui_callstacks_manager.ml b/src/plugins/value/gui_files/gui_callstacks_manager.ml
index 08358dda36a4c638cdebc0ca6990fdfd5948b74c..9e78d8d54e60d5f8eeddb05bb9ec872bde95b280 100644
--- a/src/plugins/value/gui_files/gui_callstacks_manager.ml
+++ b/src/plugins/value/gui_files/gui_callstacks_manager.ml
@@ -153,7 +153,7 @@ type 'value model = {
   mutable loc: gui_loc option (* model: loc which is being visualized *);
   mutable all_exprs: gui_selection list (* G expressions that are currently
                                            being displayed *);
-  mutable columns_type: (column_type * (filtered:bool -> unit)) HColumns.t
+  columns_type: (column_type * (filtered:bool -> unit)) HColumns.t
 (* mapping from GTK columns to the data they display, plus a function
    whose argument indicates whether the column is filtered *);
   mutable rows: 'value rows (* model: rows to display. Sorted, unfiltered