Skip to content
Snippets Groups Projects
Commit adf10b85 authored by Michele Alberti's avatar Michele Alberti
Browse files

Update ocamlformat version.

parent b49a0e72
No related branches found
No related tags found
No related merge requests found
version=0.19.0
version=0.20.0
exp-grouping=parens
if-then-else=keyword-first
max-indent=2
......
......@@ -16,7 +16,6 @@ type ioshape = {
}
let loaded_nets = Why3.Term.Hls.create 10
let lookup_loaded_nets = Why3.Term.Hls.find_opt loaded_nets
let register_astuple nb_inputs nb_outputs filename env =
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment