Removes warning on line 108 of srkSimplify.ml (RationalTerm.t was hidden in current scope)
Removes warning on line 108 of srkSimplify.ml (RationalTerm.t was hidden in current scope)

zkincaid/duet,zkincaid/duet,zkincaid/duet