diff options
| author | Chimrod <> | 2024-01-15 10:45:16 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-01-15 10:45:16 +0100 |
| commit | c48740e598132261e20260678ff2feb3b398d913 (patch) | |
| tree | 08b34440bd4cc5cf663da87343dbb409cb579c4e /lib | |
| parent | 6c7c12803b3c17027309071a749939e0c8bb476c (diff) | |
Updated the code used to read the location name
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/qparser/lexer.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/qparser/lexer.ml b/lib/qparser/lexer.ml index 5741b7a..da8acce 100644 --- a/lib/qparser/lexer.ml +++ b/lib/qparser/lexer.ml @@ -10,7 +10,7 @@ exception LexError of string exception EOF (* Extract the location name from the pattern *) -let location_name = Str.regexp {|.* \(.*\)|} +let location_name = Str.regexp {|# *\(.*\)|} (** Remove all the expression state when we are leaving the expression itself. *) let rec leave_expression buffer = |