diff --git a/tools/genlang b/tools/genlang index 7e824433bb..cde23f85fa 100755 --- a/tools/genlang +++ b/tools/genlang @@ -33,7 +33,7 @@ print HFILE <