From 70c9f7b365b07044c07837a04223a11dfa3b7140 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 17 Nov 2003 15:17:53 +0000 Subject: Lexer by need. --- src/GF/Infra/Option.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/GF/Infra') diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index 3bdf4dc0f..ac2f46b7e 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -125,6 +125,7 @@ newParser = iOpt "new" noCF = iOpt "nocf" checkCirc = iOpt "nocirc" noCheckCirc = iOpt "nocheckcirc" +lexerByNeed = iOpt "cflexer" -- linearization allLin = iOpt "all" -- cgit v1.2.3