:- module mutable_bug.

:- interface.

:- solver type foo.

:- implementation.

:- import_module list.

:- solver type foo where
	representation is character,
	constraint_store is mutable(foo, list(int), [3], ground, []).