Commit c30a45ad authored by MARCHE Claude's avatar MARCHE Claude

fixed small problem with prover_modifiers

parent 6c67ec05
......@@ -194,7 +194,9 @@ Bug fix:
* do "make distrib"
* test the distrib why3-0.73.tar.gz
* make a last commit:
- add tag 0.73 to the git repository (do not forget to push it)
- add tag 0.73 to the git repository
- do not forget to push it using git push --tags
* put on the web page
- why3-0.73.tar.gz
- standard library online, using why3doc, to http://why3.lri.fr/stdlib/
......
......@@ -570,9 +570,9 @@ let merge_config config filename =
let version = get_stringo section "version" in
let altern = get_stringo section "alternative" in
mk_filter_prover ?version ?altern name in
let prover_modifiers = get_family rc "prover_modifiers" in
let prover_modifiers = get_simple_family rc "prover_modifiers" in
let prover_modifiers =
List.map (fun (_,sec) -> create_filter_prover sec, sec) prover_modifiers in
List.map (fun sec -> create_filter_prover sec, sec) prover_modifiers in
(** add provers *)
let provers = List.fold_left
(fun provers (fp, section) ->
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment