| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'ast-to-instr/src/Strings.java')
| -rw-r--r-- | ast-to-instr/src/Strings.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ast-to-instr/src/Strings.java b/ast-to-instr/src/Strings.java index bc1778f..2c81b70 100644 --- a/ast-to-instr/src/Strings.java +++ b/ast-to-instr/src/Strings.java @@ -12,10 +12,11 @@ public class Strings private Strings () {} /* Utility class. */ - public static IDs get_id_from_string (final String string) + public static IDs get_id_from_string (String string) { IDs result; + string = string.toLowerCase(); result = TO_ID.get(string); if (result == null) |