Diff fricas-1.3.8-r1 with a fricas-1.3.9

Thank you!