Commit 0d709e3d authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen

Workaround for Coq dev type inference regression

parent 90f0d1e4
Pipeline #12665 passed with stage
in 5 minutes and 21 seconds
......@@ -437,7 +437,7 @@ Section Theories.
let count tx :=
match tx_body tx with
| tx_call (Some msg) =>
match deserialize msg with
match deserialize msg : option Msg with
| Some (create_proposal acts) => length acts
| _ => 0
end
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment