diff --git a/src/frontend/scanner.cpp b/src/frontend/scanner.cpp index eaa8aa096..9099c4f1a 100644 --- a/src/frontend/scanner.cpp +++ b/src/frontend/scanner.cpp @@ -46,7 +46,7 @@ public: set('_', 'a'); // characters that can be used to create ids of group b - for (unsigned char b : {'=', '<', '>', '@', '^', '|', '&', '~', '+', '-', '*', '/', '$', '%', '?', ';'}) + for (unsigned char b : {'=', '<', '>', '@', '^', '|', '&', '~', '+', '-', '*', '/', '\\', '$', '%', '?', ';'}) set(b, 'b'); // punctuation