diff options
Diffstat (limited to 'lib/syntax/S.ml')
| -rw-r--r-- | lib/syntax/S.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml index 6cab8c9..3d86881 100644 --- a/lib/syntax/S.ml +++ b/lib/syntax/S.ml @@ -98,13 +98,13 @@ module type Location = sig type t type instruction - val location : pos -> instruction list -> t repr + val location : pos -> instruction repr list -> t repr end module type Analyzer = sig module Expression : Expression module Instruction : Instruction with type expression = Expression.t' repr - module Location : Location with type instruction = Instruction.t' repr + module Location : Location with type instruction = Instruction.t' end (** Helper module used in order to convert elements from the differents |