diff options
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 635aa46e..73c2016e 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -59,6 +59,7 @@ type l = | Int of string * l option | Generated of l | Range of Lexing.position * Lexing.position + | Documented of string * l type 'a annot = l * 'a |