diff options
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index cb4d102509..a5065b5cfd 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -52,7 +52,7 @@ let mkpatvar name pos = (* Ghost expressions and patterns: - expressions and patterns that do not appear explicitely in the + expressions and patterns that do not appear explicitly in the source file they have the loc_ghost flag set to true. Then the profiler will not try to instrument them and the -stypes option will not try to display their type. |