Not sure what the error is. Trying this

Skptak · Aug 17, 2023 · c472b44 · c472b44
1 parent 38b5c6a
commit c472b44
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -156,7 +156,6 @@ jobs:
           path: ./
           fail-on-incorrect-version: true
 
-
   proof_ci:
     if: ${{ github.event.pull_request }}
     runs-on: cbmc_ubuntu-latest_64-core

diff --git a/source/include/core_http_client_private.h b/source/include/core_http_client_private.h
@@ -249,10 +249,9 @@ extern "C" {
  * @brief The state of the response message parsed after function
  * #parseHttpResponse returns.
  */
-typedef enum HTTPParsingState_t
+typedef enum
 {
-    HTTP_PARSING_NONE = 0, /**< The parser has not started reading any response.
-                            */
+    HTTP_PARSING_NONE = 0,   /**< The parser hasn't read any response.*/
     HTTP_PARSING_INCOMPLETE, /**< The parser found a partial reponse. */
     HTTP_PARSING_COMPLETE    /**< The parser found the entire response. */
 } HTTPParsingState_t;