Project

General

Profile

Revision ef776f2f src/verifierType.ml

View differences:

src/verifierType.ml
15 15
    Normalization.unfold_arrow_active = true;
16 16
    force_alias_ite = false;
17 17
    force_alias_internal_fun = false;
18
    force_alias_fun = false;
18 19
  }
19 20

  
20 21
  end

Also available in: Unified diff