@ -7,10 +7,8 @@
:- implementation.
:- import_module int.
:- import_module char.
:- import_module string.
:- import_module list.
:- import_module maybe.
:- pred all_diff(list(T)::in) is semidet.
all_diff([]).