Hello, I am using 54b1573501a388c3d9d22c225b7c0857a139bc12.
It seems that in the ide, the line numbers on error messages hve disappeared? I still see the line number with why3 prove. thanks, julia _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club