path: root/check/type/bool/fail-int.p

program main ( input, output );
        var a: integer;
begin
	1 <> 1.1
end.