diff options
Diffstat (limited to 'lib/sublanguage_context.ml')
| -rw-r--r-- | lib/sublanguage_context.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/sublanguage_context.ml b/lib/sublanguage_context.ml index c7598f1..aca5790 100644 --- a/lib/sublanguage_context.ml +++ b/lib/sublanguage_context.ml @@ -35,5 +35,5 @@ type t = { branch : branch_view; resolve : ?branch:string -> Qualified_name.t -> string; switch_branch : string -> - (Sublanguage_types.transition_delta, Nt.error) result; + (Sublanguage_types.transition_delta, Condition.t) result; } |