fredrik-johansson/flint2 — pull request #2 by mmklee (2012-01-17 11:23:48+00:00)
Title: fix: g++ complains about this when building Singular with Flint

Hi Fredrik
I don't know if this is the right place to submit patches. If not I can also send a patch.
Cheers Martin