Update cerberus-lib

Author: dc-mak

cn.opam

@@ -23,7 +23,7 @@ depends: [
   "zarith" {>= "1.13"}
 ]
 pin-depends: [
-  ["cerberus-lib.dev" "git+https://github.com/rems-project/cerberus.git#af50626"]
+  ["cerberus-lib.dev" "git+https://github.com/rems-project/cerberus.git#3c75d1b"]
 ]
 build: [
   ["dune" "subst"] {pinned}

lib/pp_mucore.ml

@@ -494,7 +494,6 @@ module Make (Config : CONFIG) = struct
     | Abmc annot -> (match annot with Abmc_id id -> [ !^(string_of_int id) ])
     | Atypedef sym -> [ pp_symbol sym ]
     | Aattrs _ -> [ !^"TODO(Aattrs)" ]
-    | Anot_explode -> [ !^"not-explode" ]
     | Alabel _ -> [ !^"TODO(label)" ]
     | Acerb _ -> []
     | Avalue (Ainteger ity) -> [ !^"type" ^^^ Pp_core_ctype.pp_integer_ctype ity ]

lib/pp_mucore_coq.ml

@@ -612,7 +612,6 @@ let rec pp_annot_t = function
   | Annot.Abmc bmc -> pp_constructor "Abmc" [ pp_bmc_annot bmc ]
   | Annot.Aattrs attrs -> pp_constructor "Aattrs" [ pp_attributes attrs ]
   | Annot.Atypedef sym -> pp_constructor "Atypedef" [ pp_symbol sym ]
-  | Annot.Anot_explode -> pp_constructor0 "Anot_explode"
   | Annot.Alabel la -> pp_constructor "Alabel" [ pp_label_annot la ]
   | Annot.Acerb ca -> pp_constructor "Acerb" [ pp_cerb_attribute ca ]
   | Annot.Avalue va -> pp_constructor "Avalue" [ pp_value_annot va ]