From b46eb6905798a624ffba8b1219c34f2cde45a422 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Thu, 28 Aug 2008 11:55:41 +0000
Subject: [PATCH] forgot to save file

[r21537]
---
 main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.c b/main.c
index 3eb7041..84bba12 100644
--- a/main.c
+++ b/main.c
@@ -881,7 +881,7 @@ int main(int argc, char **argv)
 	init_types();
 	init_typehash();
 	init_basic_types();
-	init_lexer(allow_dollar_in_symbols);
+	init_lexer();
 	init_ast();
 	init_parser();
 	init_ast2firm();
-- 
2.20.1