diff options
author | Son Ho | 2021-11-25 15:01:15 +0100 |
---|---|---|
committer | Son Ho | 2021-11-25 15:01:15 +0100 |
commit | 2bd4d1ca30dd0b5a22250f86bbac3cd84f33b053 (patch) | |
tree | 8402448159881ae1de902a001fb954b2582c944e /src/Substitute.ml | |
parent | 8a1caeb5205c644019204d6ac27d286fba705841 (diff) |
Replace `open Contexts` by `module C = Contexts` in Interpreter.ml
Diffstat (limited to 'src/Substitute.ml')
0 files changed, 0 insertions, 0 deletions