Moving C++ bindings in gmpxx.h into a namespace

[Roberto Bagnara]

On 06/29/13 20:16, Sam Varshavchik wrote:
> Is there any interest in moving all the C++ bindings into their own namespace, say gnu::mp?

This is definitely a good idea.

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com