[MacPorts] #32600: nusmv @2.5.4 install error on Mac OS X 10.7.2

[MacPorts]

#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2
-----------------------------------------+----------------------------------
  Reporter:  merteminkalender@…          |       Owner:  mww@…           
      Type:  defect                      |      Status:  closed          
  Priority:  Normal                      |   Milestone:                  
 Component:  ports                       |     Version:  2.0.3           
Resolution:  fixed                       |    Keywords:                  
      Port:  nusmv                       |  
-----------------------------------------+----------------------------------
Changes (by jmr@…):

  * status:  reopened => closed
  * resolution:  => fixed


Comment:

 They didn't declare the function in the right scope. r95086

-- 
Ticket URL: <https://trac.macports.org/ticket/32600#comment:9>
MacPorts <http://www.macports.org/>
Ports system for Mac OS