cloud9_root/src/third_party/stp/src/parser/lexsmt.cpp
/** Get the current line number.
 * 
 */
Get the current line number.
Get the current line number .
int smtget_lineno  (void)
{
    return smtlineno;
}
int smtget_lineno ( void ) { return smtlineno ; }
Get the current line number.
Get the current line number .