Merge branch '694-wp-why-3-output-of-types-with-constructors' into 'master'

[qed+wp] fix typo in inductive types for native coq

See merge request frama-c/frama-c!2414

src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.0.res.oracle

@@ -4,8 +4,9 @@
 [wp] Loading driver 'share/wp.driver'
 [wp] Warning: Missing RTE guards
 [wp] 1 goal scheduled
-[wp] [Failed] Goal typed_foo_assert_ko
+[wp] [Alt-Ergo 2.0.0] Goal typed_foo_assert_ko : Unsuccess
 [wp] Proved goals:    0 / 1
+  Alt-Ergo 2.0.0:    0  (unsuccess: 1)
 [wp] Report in:  'tests/wp_bts/oracle_qualif/bts_2471.0.report.json'
 [wp] Report out: 'tests/wp_bts/result_qualif/bts_2471.0.report.json'
 -------------------------------------------------------------

src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.0.session/cache/73ea306163d25a228b4586b8b98472f6.json

+{ "prover": "why3:Alt-Ergo,2.0.0", "verdict": "timeout", "time": 1. }