Remove unused type in SPDM specification

AdaCore · Nov 8, 2023 · 3edb6da · 3edb6da
1 parent c218326
commit 3edb6da
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/examples/apps/spdm_responder/specs/spdm_responder.rflx b/examples/apps/spdm_responder/specs/spdm_responder.rflx
@@ -85,11 +85,6 @@ package SPDM_Responder is
             with Size => Length * 8;
       end message;
 
-   type Measurement_Summary is
-      message
-         Data : SPDM::Measurement_Record;
-      end message;
-
    type Session_Phase is
       (Session_Error     => 0,
        No_Session        => 1,