Commit 76142b94 authored by erwan's avatar erwan

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

parent 0eb6491c
Pipeline #28571 passed with stages
in 2 minutes and 40 seconds