Merge branch 'topic/kanig-ast' into 'master'

Follow AST change in gnat2why

no-issue-check

See merge request eng/spark/why3!100

Author: kanigsson

plugins/gnat_json/gnat_ast.ml

@@ -18,8 +18,6 @@ type symbol = No_symbol | Symbol of string
 type symbol_set = symbol list
 type string_sets_set = symbol list
 
-type why_node_set = unit
-
 (* Why.Sinfo *)
 
 type odomain =
@@ -1356,10 +1354,6 @@ module From_json = struct
       Source_ptr {filename; line}
     | json -> unexpected_json "source_ptr" json
 
-  let why_node_set_from_json : why_node_set from_json = function
-    | `String "<Why_Node_Set>" -> ()
-    | json -> unexpected_json "why_node_set" json
-
   let symbol_from_json : symbol from_json = function
     | `String "" -> No_symbol
     | `String s -> Symbol s