Commit ced75b3b authored by erwan's avatar erwan

Fix: remove a useless module open (List) that breaks the build/ocaml4.07.0

parent 3218622f
Pipeline #28572 passed with stages
in 3 minutes and 18 seconds