Improvement. Maybe. Left recursion is supposed to be better. i.e. to use less stack...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1372 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/parser/smt2.y b/src/parser/smt2.y
index b71c6035d2d2b23dc5a17fb7936104f435f96a6b..8c6f46590008bbefbfb1aeac6f04ae0b6d95b2fb 100644 (file)
--- a/src/parser/smt2.y
+++ b/src/parser/smt2.y
@@ -203,7 +203,7 @@ cmd: commands END
 ;
 
 
-commands: cmdi commands 
+commands: commands cmdi  
 | cmdi
 {}
 ;