tests/syntax/oracle/reorder.res.oracle · 3bf9500a79b809c216bd871b839deda44829b6af · pub / frama-c

5 years ago

David Bühler authored 5 years ago

Avoid warning about missing proto during typechecking.
Also changes a warning into an error, and improves the error message.

3bf9500a

David Bühler authored 5 years ago

Avoid warning about missing proto during typechecking.
Also changes a warning into an error, and improves the error message.