fmt

hacspec · Nov 28, 2024 · a1d69f1 · a1d69f1
1 parent 7b28517
commit a1d69f1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 9 deletions.
diff --git a/.github/workflows/extract_and_run_coq.yml b/.github/workflows/extract_and_run_coq.yml
@@ -6,14 +6,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-        with:
-          path: hax
-
       - uses: DeterminateSystems/nix-installer-action@main
       - uses: DeterminateSystems/magic-nix-cache-action@main
 
       - name: ⤵ Install hax
-        working-directory: hax
         run: |
           nix build .\#coq-coverage-example
 

diff --git a/engine/backends/coq/coq/coq_backend.ml b/engine/backends/coq/coq/coq_backend.ml
@@ -641,12 +641,13 @@ struct
                      ^^ concat_map_with ~pre:space
                           (fun (x : generic_param) ->
                             match x with
-                              | { ident; _ } ->
-                                let idx = (self#_do_not_override_lazy_of_local_ident
-                                             AstPos_item'_Type_generics ident)
-                                          #p
+                            | { ident; _ } ->
+                                let idx =
+                                  (self#_do_not_override_lazy_of_local_ident
+                                     AstPos_item'_Type_generics ident)
+                                    #p
                                 in
-                                parens(idx ^^ space ^^ !^":=" ^^ space ^^ idx) )
+                                parens (idx ^^ space ^^ !^":=" ^^ space ^^ idx))
                           generics#v.params)
                 ^^ space ^^ string "<"
                 ^^ separate_map (semi ^^ space)