Commit b44928d3 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Fix build

parent e174d748
Pipeline #11258 failed with stage
in 3 minutes and 29 seconds
......@@ -283,3 +283,4 @@ Compute
: option (FMap (FMap Z Z) Z).
Compute (option_map FSet.elements (extract_oak_value (oak_set oak_int) test_set)).
Compute (option_map FMap.elements (extract_oak_value (oak_map oak_int oak_int) test_map)).
*)
Supports Markdown
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