-- This is a test control file

test_name multi-constraint-rename-to-infix
test_description Reveals bug#12776. A renaming of a feature to an infix causes the compiler to crash.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	test1.e $CLUSTER test1.e


compile_melted
compile_result validity_error TEST1 VFAV(1)
test_end