bump 1.8.1

comby-tools · Jun 21, 2022 · 1e118e5 · 1e118e5
1 parent 4cea3dd
commit 1e118e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.ml b/src/main.ml
@@ -304,7 +304,7 @@ let parse_comby_dot_file () =
 
 let () =
   If_hack_parallel.check_entry_point ();
-  Command.run default_command ~version:"1.7.1" ~extend:(fun _ ->
+  Command.run default_command ~version:"1.8.0" ~extend:(fun _ ->
       match Sys.file_exists ".comby" with
       | `Yes -> parse_comby_dot_file ()
       | _ -> [])