Hello, I receiced the following message. It says to report it, so I am reporting it. But I wouldn't know how to reproduce it.
exception 'anomaly:
Why3.Controller_itp.Make(S).TransAlreadyExists("split_vc", "")' was raised
in a LablGtk callback.
This should not happen. Please report.
julia
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
