diff options
author | Alon Zakai <azakai@mozilla.com> | 2010-11-18 21:10:37 -0800 |
---|---|---|
committer | Alon Zakai <azakai@mozilla.com> | 2010-11-18 21:10:37 -0800 |
commit | 5c7d13c59133a45430bac1ce01540428a67292a4 (patch) | |
tree | 99fe9d210c895471a9775e48d37667d61cf5c4e6 /src/settings.js | |
parent | f30d5d97a0090777a871f93b76a4657836828443 (diff) |
fix parsing of |noalias| in function calls, minor fix to |getelementptr| type discovery error
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index 95012abc..7312488b 100644 --- a/src/settings.js +++ b/src/settings.js @@ -39,6 +39,7 @@ DEBUG_TAGS_SHOWING = []; // enzymatic // gconst // types + // vars // relooping // unparsedFunctions |