diff options
Diffstat (limited to 'lib/syntax/S.ml')
| -rw-r--r-- | lib/syntax/S.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml index f7c3ebe..972e405 100644 --- a/lib/syntax/S.ml +++ b/lib/syntax/S.ml @@ -96,7 +96,8 @@ module type Location = sig type t type instruction - val location : pos -> instruction list -> t * Report.t list + val v : t -> Report.t list + val location : pos -> instruction list -> t end (** {1 Unified module used by the parser } *) |