| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-20 13:46:47 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-20 13:46:47 +0200 |
| commit | b5c3459a9763107abcbbcd7fc1a42eee3a887c52 (patch) | |
| tree | a44474d508d3ea6c940ce7893f95994d3153b19d /ast-to-instr/src/Strings.java | |
| parent | cd9254b65410c0f8a0fc3437ee43d88375244508 (diff) | |
Still working on AST-to-Instr.
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) |