Add ota.h to the stubs

aws · Aug 20, 2023 · 783518c · 783518c
1 parent 336582f
commit 783518c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/test/cbmc/include/stubs.h b/test/cbmc/include/stubs.h
@@ -28,6 +28,8 @@
  * @brief Includes the declaration of all the stubs required in the CBMC proofs.
  */
 
+#include "ota.h"
+
 /* Stub for initFileTransfer function. */
 OtaErr_t initFileTransferStub( OtaAgentContext_t * agent );