Code

Remove infer_input_format option#858

Code

Merged

bclement-ocp merged 1 commit intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom bclement-ocp:infer_input_formatbclement-ocp/alt-ergo:infer_input_formatCopy head branch name to clipboardOct 4, 2023

+18-35

Commits

Commits on Oct 4, 2023

• Remove infer_input_format option

  Show description for b2626b6
  bclement-ocp

  committed
  b2626b6