X-Git-Url: http://git.tuebingen.mpg.de/?p=lopsub.git;a=blobdiff_plain;f=config_file.l;fp=config_file.l;h=b6eff7cc5bd09ae4f4d257ee76be4a4d9279e99e;hp=0b8435041fa0a1ba55546e885304ab30442a31f4;hb=825083ef841055965335996771b385e4cb9c62ca;hpb=7606d1c3e5626ecd9d6ec8fbf76b3a2507251dd7

diff --git a/config_file.l b/config_file.l
index 0b84350..b6eff7c 100644
--- a/config_file.l
+++ b/config_file.l
@@ -4,6 +4,9 @@
  * Licensed under the LGPL v3, see http://www.gnu.org/licenses/lgpl-3.0.html
  */
 
+ /* We don't want symbols to clash with those of other flex users. */
+%option prefix="lls_yy"
+
 %option stack
 %option never-interactive
 %option yylineno