ctrl_c in header

[ffrohn]

question by @codyroux

I’m running in to the Giac “undefined ctrl_c” bug, but the suggested fix was a bit vague. What line do I need to un-comment?

[ffrohn]

Can you post the error message? I don't recall the name of the file that has to be adapted.

[codyroux]

The file was in /user/include/giac/poly.h, and the solution I found was to comment line #1523.