diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/runtime/Context.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/runtime/Context.mli b/lib/runtime/Context.mli index 6e7ab2f..214071b 100644 --- a/lib/runtime/Context.mli +++ b/lib/runtime/Context.mli @@ -1,6 +1,6 @@ val resolve : Protocols.Context.t -> - string -> + Kernel.Path.t -> (Protocols.Handle.t option, Concepts.Condition.condition) result val over : |