-
François Bobot authored
Warning since 7efae3f8 yices doesn't work with real since in assoc_mul_div a variable is the denominator. Yices refuse that.
8e207729
Warning since 7efae3f8 yices doesn't work with real since in assoc_mul_div a variable is the denominator. Yices refuse that.