fixed bug in main.c: input buffer was not being properly reset after evaluation