Ignore:
Timestamp:
Jul 10, 2015, 10:38:46 AM (4 years ago)
Author:
nmedfort
Message:

Temporary check-in.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/pablo/optimizers/pablo_bddminimization.cpp

    r4629 r4656  
    10001000
    10011001                    // Gather the original users to this advance. We'll be manipulating it shortly.
    1002                     Statement::Users U(adv->users());
     1002                    Statement::Vector U(adv->users());
    10031003
    10041004                    // Add s to V and sort the list; it'll be closer to being in topological order.
Note: See TracChangeset for help on using the changeset viewer.