-
Jean-Christophe Filliâtre authored
All files are extracted to the target repository, even those corresponding to files from the Why3 standard library. Some of these files may be empty (e.g. ref__Ref.ml) when everything is overridden by the OCaml driver. You can ignore these files when compiling the extracted OCaml code.
cdd75610