diff options
Diffstat (limited to 'lib/dialyzer/test/opaque_tests_SUITE_data/src/int/int_use.erl')
| -rw-r--r-- | lib/dialyzer/test/opaque_tests_SUITE_data/src/int/int_use.erl | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lib/dialyzer/test/opaque_tests_SUITE_data/src/int/int_use.erl b/lib/dialyzer/test/opaque_tests_SUITE_data/src/int/int_use.erl deleted file mode 100644 index b4471e1cee..0000000000 --- a/lib/dialyzer/test/opaque_tests_SUITE_data/src/int/int_use.erl +++ /dev/null @@ -1,11 +0,0 @@ -%%--------------------------------------------------------------------------- -%% Module that uses the opaque types of int_adt. -%% TODO: Should be extended with invalid contracts. -%%--------------------------------------------------------------------------- --module(int_use). - --export([test/0]). - --spec test() -> int_adt:int(). -test() -> - int_adt:new_i(). |