diff options
| author | Son Ho | 2022-01-04 09:04:32 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-04 09:04:32 +0100 |
| commit | 1e4dc4f2f4fa3d7f6972cd73647e6fb5668503f8 (patch) | |
| tree | 07e9cd96d413314e0369635d84b9f1bd0d6224c5 /src/Identifiers.ml | |
| parent | c0b50f9bad46133d9f10609b41bf23c0bcece51b (diff) | |
Implement compute_expanded_symbolic_adt_value
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 |