Changeset 21 for vis_dev/vis-2.3/src/bmc


Ignore:
Timestamp:
Jul 19, 2011, 4:51:20 PM (13 years ago)
Author:
cecile
Message:

un delete de trop

File:
1 edited

Legend:

Unmodified
Added
Removed

  • vis_dev/vis-2.3/src/bmc/bmc.h

    r14 r21  
    6161EXTERN MvfAig_Function_t * Bmc_NodeBuildMVF(Ntk_Network_t *network, Ntk_Node_t *node);
    6262EXTERN MvfAig_Function_t * Bmc_ReadMvfAig(Ntk_Node_t * node, st_table * nodeToMvfAigTable);
    63 
     63 BmcOption_t * ParseBmcOptions(int argc, char **argv);
    6464/**AutomaticEnd***************************************************************/
    6565
Note: See TracChangeset for help on using the changeset viewer.