extended type update

katamaran-project · Nov 20, 2024 · bfa14d1 · bfa14d1
1 parent 3d876a8
commit bfa14d1
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/nanosail/NanosailToMicrosail/Types/ExtendedType.ml b/nanosail/NanosailToMicrosail/Types/ExtendedType.ml
@@ -111,14 +111,13 @@ let rec pp_extended_parameter_type (extended_type : Ast.ExtendedType.Parameter.t
       let* annotation_index =
         let annotation_document =
           PP.vertical @@ List.map ~f:PP.string [
-              ud.sail_type;
               Printf.sprintf "OCaml position: %s" @@ StringOf.OCaml.position ud.ocaml_location;
               Printf.sprintf "Sail position: %s" @@ StringOf.Sail.location ud.sail_location;
             ]
         in
         GC.add_annotation annotation_document
       in
-      GC.return @@ PP.string @@ Printf.sprintf "?[%d]" annotation_index
+      GC.return @@ PP.string @@ Printf.sprintf "?[%d:%s]" annotation_index ud.sail_type
     end