Commit 7f06b8be authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Warning 5 is certainly an error

parent e254ffa4
......@@ -71,8 +71,8 @@ EMACS = @EMACS@
OFLAGS = -w Aer-41-44-45 -dtypes -g -I lib/why3 $(INCLUDES)
BFLAGS = -w Aer-41-44-45 -dtypes -g -I lib/why3 $(INCLUDES)
OFLAGS = -w Aer-41-44-45@5 -dtypes -g -I lib/why3 $(INCLUDES)
BFLAGS = -w Aer-41-44-45@5 -dtypes -g -I lib/why3 $(INCLUDES)
Supports Markdown
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