% This module is indirectly imported from change_type_nr.m
% (via change_type_nr_3.m).
% 
% The update for this module does not change the file, only its timestamp.
% This checks that the extra type variable in the body of foo2 does not
% cause problems with the code in recompilation_version.m to check whether
% an item has changed.
:- module change_type_nr_2.

:- interface.

:- type foo2
	--->	c
	;	some [T] d(T)
	.

