Possible bug on library repair

Hi,

Being fairly new to eclipse (a couple of days or so), I am not sure if my problem is because I don't know what I am doing or if this is really a bug.

When consulting the documentation of the repair library, I saw that the use of the r or r_prop annotations to make the constraints known to the repair library was obsolete and that they should be substituted by r_conflict <conflict set> or r_conflict_prop <conflict set>.

Well, I made this small experiment:

[eclipse 5]: [A,B]::1..10, A*B #= 10 r.

A = A{[1..10]}
B = B{[1..10]}

Delayed goals:
        monitor_conflict(A{[1..10]} * B{[1..10]}#=10)
	yes.
[eclipse 6]: [A,B]::1..10, A*B #= 10 r_conflict boo.
instantiation fault in *(_592{[1 .. 10]}, _578{[1 .. 10]}, _544)
[eclipse 7]: [A,B]::1..10, A*B #= 10 r_conflict_prop boo.
instantiation fault in *(_592{[1 .. 10]}, _578{[1 .. 10]}, _544)

That is, everything works fine if I use the obsolete annotations but I get an instantiation fault exception if I use the new annotations.

Am I doing something wrong or is this a bug?

Thanks in advance,

--Rui Mendes