% rotd-2007-10-22 aborts with the following when compiling with
%
%	--high-level-code
%	--optimize-dead-proc
%
% (It compiles without complaint with the low-level backend.)
%
% Software Error: map.lookup: key not found
%	Key Type: int
%	Key Value: 0
%	Value Type: hlds.hlds_pred.proc_info
%
% It compiles successfully in the absence of the memo pragma below.
%
:- module fzn_table_bug.
:- interface.

:- type ti_expr
    --->    ti_expr(int).

:- implementation.

:- pragma memo(int_ti_expr/0).
:- func int_ti_expr = ti_expr.

int_ti_expr = ti_expr(3).