Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-06-16 10:18:41 -0700 (Fri, 16 Jun 2006)
Revision: 9329
Log message:

      It is ok to pass MENHIR_FLAGS even during scanning.