Ticket #12173: flint_stack_cleanup.patch

File flint_stack_cleanup.patch, 894 bytes (added by jpflori, 10 years ago)

Replace flint_stack_cleanup by _fmpz_cleanup

  • sage/libs/flint/flint.pxd

    # HG changeset patch
    # User Jean-Pierre Flori <jean-pierre.flor@ssi.gouv.fr>
    # Date 1338990164 -7200
    # Node ID 14d55477e4d33778fe80bb5f4447205dfe122700
    # Parent  ad444ad5da12d2b32bec33a70f43ae937d26e863
    #12173: Replace flint_stack_cleanup by _fmpz_cleanup
    
    diff --git a/sage/libs/flint/flint.pxd b/sage/libs/flint/flint.pxd
    a b  
    1 cdef extern from "flint.h":
     1cdef extern from "FLINT/flint.h":
    22
    33    cdef long FLINT_BITS
    44    cdef long FLINT_D_BITS
    55
    66    cdef unsigned long FLINT_BIT_COUNT(unsigned long)
    7     void flint_stack_cleanup()
     7    void _fmpz_cleanup()
  • sage/libs/flint/flint.pyx

    diff --git a/sage/libs/flint/flint.pyx b/sage/libs/flint/flint.pyx
    a b  
    1414include "../../ext/cdefs.pxi"
    1515
    1616def free_flint_stack():
    17     flint_stack_cleanup()
     17    _fmpz_cleanup()