aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/opaque_tests_SUITE_data/results/int
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dialyzer/test/opaque_tests_SUITE_data/results/int')
-rw-r--r--lib/dialyzer/test/opaque_tests_SUITE_data/results/int3
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/dialyzer/test/opaque_tests_SUITE_data/results/int b/lib/dialyzer/test/opaque_tests_SUITE_data/results/int
deleted file mode 100644
index 3ee4def34b..0000000000
--- a/lib/dialyzer/test/opaque_tests_SUITE_data/results/int
+++ /dev/null
@@ -1,3 +0,0 @@
-
-int_adt.erl:28: Invalid type specification for function int_adt:add_f/2. The success typing is (number(),float()) -> number()
-int_adt.erl:32: Invalid type specification for function int_adt:div_f/2. The success typing is (number(),number()) -> float()