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