showint()

void showint

(

mpz_srcptr

a

)

Definition at line 12 of file debug.cpp.

{
  char s[1000];
  mpz_get_str(s, 10, a);
  fprintf(stderr, " %s ", s);
}

References s.