cloud9_root/src/third_party/stp/src/parser/lexsmt2.cpp
void smt2set_lineno (int  line_number )
{
    
    smt2lineno = line_number;
}
/** Set the current line number.
 * @param line_number
 * 
 */
Set the current line number.
Set the current line number .
void smt2set_lineno (int  line_number )
{
    smt2lineno = line_number;
}
void smt2set_lineno ( int line_number ) { smt2lineno = line_number ; }
Set the current line number.
Set the current line number .