Skip to content

Commit

Permalink
Prevent warnings about unreachable branches
Browse files Browse the repository at this point in the history
Ref. #659
  • Loading branch information
treiher committed May 26, 2021
1 parent 7b34195 commit 4cc96ba
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion defaults.gpr
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,8 @@ abstract project Defaults is
"--memlimit=1000",
"--checks-as-errors",
"--warnings=error",
"--proof-warnings",
-- ISSUE: Componolit/RecordFlux#670
-- "--proof-warnings",
"--no-axiom-guard",
"--counterexamples=off",
"-j0"
Expand Down

0 comments on commit 4cc96ba

Please sign in to comment.