Fix header comment

This commit is contained in:
Alex Higgins 2015-08-27 05:49:13 -05:00
parent 46746cbdb1
commit fc6fc63a55

View File

@ -1,4 +1,4 @@
/* j/3/bex.c
/* j/3/xeb.c
**
*/
#include "all.h"
@ -11,6 +11,10 @@
{
mpz_t a_mp;
if ( !_(u3a_is_cat(a)) || !_(u3a_is_dog(a))) {
return u3m_bail(c3__fail);
}
if ( __(u3a_is_dog(a)) ) {
u3r_mp(a_mp, a);
size_t log = mpz_sizeinbase(a_mp, 2);