diff options
Diffstat (limited to 'src/Identifiers.ml')
-rw-r--r-- | src/Identifiers.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Identifiers.ml b/src/Identifiers.ml index 68a176bb..04f6c1b8 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -31,7 +31,7 @@ module type Id = sig val to_int : id -> int - val of_int : id -> int + val of_int : int -> id val nth : 'a list -> id -> 'a |