formatting

.github/workflows/proof_tools.yml

@@ -28,5 +28,7 @@ jobs:
       run: |
         cd proofs/psnj_toolbox || exit 1
         opam install . --deps-only --yes
+        opam install ocamlformat
+        opam exec -- dune build @fmt
         opam exec -- dune build
         opam exec -- dune test

proofs/psnj_toolbox/bin/main.ml

@@ -13,7 +13,7 @@ let cmds =
     Autosolve.cmd;
     Qfo.cmd;
     Group.cmd;
-    Pipe.cmd
+    Pipe.cmd;
   ]
 
 let () = Term.(exit @@ eval_choice default_cmd cmds)

proofs/psnj_toolbox/pipe_tests/ex/dune

@@ -7,4 +7,5 @@
   (glob_files encoding/*)
   (glob_files spec/main.lp))
  (libraries unix)
- (action (run ./ex.exe %{bin:psnj})))
+ (action
+  (run ./ex.exe %{bin:psnj})))

proofs/psnj_toolbox/pipe_tests/ex/ex.ml

@@ -4,8 +4,8 @@ let () =
       (Filename.quote_command Sys.argv.(1)
          [ "pipe"; "--qfo"; "encoding/qfo.json"; "ex.log" ])
   with
-  | Unix.WEXITED 0 -> 
-      ignore @@ Unix.system (Filename.quote_command "cat" ["exi.lp"])
+  | Unix.WEXITED 0 ->
+      ignore @@ Unix.system (Filename.quote_command "cat" [ "exi.lp" ])
   | Unix.WEXITED n ->
       Format.eprintf "Command exited with code %d@." n;
       exit 1

proofs/psnj_toolbox/pipe_tests/hello/dune

@@ -7,4 +7,5 @@
   (glob_files encoding/*)
   (glob_files spec/main.lp))
  (libraries unix)
- (action (run ./hello.exe %{bin:psnj})))
+ (action
+  (run ./hello.exe %{bin:psnj})))

proofs/psnj_toolbox/pipe_tests/hello/hello.ml

@@ -5,7 +5,7 @@ let () =
          [ "pipe"; "--qfo"; "encoding/qfo.json"; "hello.log" ])
   with
   | Unix.WEXITED 0 ->
-      ignore (Unix.system (Filename.quote_command "cat" ["hello.lp"]))
+      ignore (Unix.system (Filename.quote_command "cat" [ "hello.lp" ]))
   | Unix.WEXITED n ->
       Format.eprintf "Command exited with code %d@." n;
       exit 1

proofs/psnj_toolbox/pipe_tests/multiproofs/dune

@@ -7,4 +7,5 @@
   (glob_files encoding/*)
   (glob_files spec/main.lp))
  (libraries unix)
- (action (run ./mp.exe %{bin:psnj})))
+ (action
+  (run ./mp.exe %{bin:psnj})))