diff options
author | Son Ho | 2022-01-03 12:40:12 +0100 |
---|---|---|
committer | Son Ho | 2022-01-03 12:40:12 +0100 |
commit | ba77a9a882e3e8307c578db10c10dacaab9fa2d9 (patch) | |
tree | 0a6c23d04131f46d96d30409bc4aab1847b1df69 /src/Identifiers.ml | |
parent | 5aa4607a5109939976cf692806789e003adb85e0 (diff) |
Start working on end_abstraction
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 3c07b511..68a176bb 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -16,7 +16,7 @@ module type Id = sig val generator_zero : generator - (* TODO: this is stateful! - but we may want to be able to duplicated contexts... *) + (* TODO: this is stateful! - but we may want to be able to duplicate contexts... *) val fresh : generator -> id * generator val to_string : id -> string |