Silence Clang's deprecated-literal-operator warning in gmpxx.h#110

ahmed-irfan merged 1 commit into

masterSRI-CSL/libpoly:masterfrom

fix/clang-gmpxx-deprecated-literal-operatorSRI-CSL/libpoly:fix/clang-gmpxx-deprecated-literal-operatorCopy head branch name to clipboard