diff options
| author | Hans Bolinder <[email protected]> | 2019-03-22 11:58:58 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2019-04-29 12:00:31 +0200 |
| commit | 19e8e534cc26d890378265907ff0a56c101f2625 (patch) | |
| tree | 38d9db9e23d5bcbac5a502aef1c0fc806d355fa9 /lib/dialyzer/test/small_SUITE_data/results/failing_guard1 | |
| parent | 87e748eda909272ab4c2178fdfe83bb74eef898b (diff) | |
| download | otp-19e8e534cc26d890378265907ff0a56c101f2625.tar.gz otp-19e8e534cc26d890378265907ff0a56c101f2625.tar.bz2 otp-19e8e534cc26d890378265907ff0a56c101f2625.zip | |
dialyzer: Fix dialyzer_dataflow:format_args_1()
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/failing_guard1')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/failing_guard1 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/failing_guard1 b/lib/dialyzer/test/small_SUITE_data/results/failing_guard1 index 5bdd13093a..09fe076a6f 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/failing_guard1 +++ b/lib/dialyzer/test/small_SUITE_data/results/failing_guard1 @@ -1,4 +1,4 @@ failing_guard1.erl:12: Guard test float() =:= 2 can never succeed -failing_guard1.erl:13: Guard test integer() =:= float() can never succeed -failing_guard1.erl:14: Guard test -2 | -1 | 0 | 1 | 2 =:= float() can never succeed +failing_guard1.erl:13: Guard test integer() =:= 2.0 can never succeed +failing_guard1.erl:14: Guard test -2 | -1 | 0 | 1 | 2 =:= 2.0 can never succeed |