printf("%d\n", GetInt());
^
/usr/include/cs50.h:122:5: note: 'GetInt' has been explicitly marked deprecated
here
int GetInt(void) __attribute__((deprecated));
^
1 error generated.
make: *** [num] Error 1
Sorry, not sure how to help (yet) with this one!
~/workspace/ $
For example, we should point them to get_int():