| summaryrefslogtreecommitdiff | 
diff options
Diffstat (limited to 'ast-to-instr/src/Strings.java')
| -rw-r--r-- | ast-to-instr/src/Strings.java | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/ast-to-instr/src/Strings.java b/ast-to-instr/src/Strings.java index 67189ad..a03070b 100644 --- a/ast-to-instr/src/Strings.java +++ b/ast-to-instr/src/Strings.java @@ -18,7 +18,7 @@ public class Strings     public static IDs get_id_from_string     ( -      String string +      final String string     )     {        return get_id_from_string(Main.get_main_output(), string); | 


