cloud9_root/src/third_party/stp/src/parser/lexsmt2.cpp
/** Get the current line number.
 * 
 */
Get the current line number.
Get the current line number .
int smt2get_lineno  (void)
{
    return smt2lineno;
}
int smt2get_lineno ( void ) { return smt2lineno ; }
Get the current line number.
Get the current line number .