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 /Makefile | |
| parent | 8a1caeb5205c644019204d6ac27d286fba705841 (diff) | |
Replace `open Contexts` by `module C = Contexts` in Interpreter.ml
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions