Merge branch 'coma_fixes' into 'master'

[why3.git] / drivers / discrimination.gen

theory BuiltIn
  meta "select_inst_default" "local"
  meta "select_lskept_default" "local"
  meta "select_lsinst_default" "local"
  meta "select_kept_default" "all"
end