Changeset 3bfbc7 in git for factory/FLINTconvert.cc


Ignore:
Timestamp:
Dec 13, 2012, 5:16:28 PM (11 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
f51a5bd5a84a0bdc21e8b4b7357a3d1f43bae4e6
Parents:
3772383383757f92bd98a13b15a06d71b41043bbc47a863526a09908b859ec56712e7ecb729f43c8
Message:
Merge pull request #231 from mmklee/factory_memory_sw

Factory memory sw
File:
1 edited

Legend:

Unmodified
Added
Removed

  • factory/FLINTconvert.cc

    r3772383 r3bfbc7  
    5757  {
    5858    mpz_t gmp_val;
    59     gmp_val[0]= *getmpi(f.getval());
     59    f.mpzval(gmp_val);
    6060    fmpz_set_mpz (result, gmp_val);
    6161    mpz_clear (gmp_val);
Note: See TracChangeset for help on using the changeset viewer.