Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 245804 | Differences between
and this patch

Collapse All | Expand All

(-)apron-0.9.10-orig/apronxx/apxx_ppl_product_inline.hh (-1 / +1 lines)
Lines 14-20 Link Here
14 
*/
 14 
*/
15 

          15
          

        

        

          16
          
inline pkgrid_manager::pkgrid_manager(bool strict) 

          16
          
inline pkgrid_manager::pkgrid_manager(bool strict) 

        

          
            

              17
              
  : manager(ap_pkgrid_manager_alloc(strict))


              17
              
  : manager(ap_pkgrid_manager_alloc(NULL, NULL))

            

        

          18
          
{}

          18
          
{}

        

        

          19
          

          19
          

        

        

          20
          
inline manager& pkgrid_manager::operator=(const manager& m)

          20
          
inline manager& pkgrid_manager::operator=(const manager& m)

        






  

  Return to bug 245804