Singular/Sources — pull request #496 by fingolfin (2014-02-03 21:41:10+00:00)
Title: Alternate fix for building with FLINT but w/o NTL

In commit f1cab7c9992f5d, a change was made to fix building without NTL but with FLINT. That fix looks strange to me; the commit here does what *seems* right. But then I am not so familiar with the code, so I wouldn't be surprised if I am misunderstanding something :-).