diff options
Diffstat (limited to 'lib/qualified_name.mli')
| -rw-r--r-- | lib/qualified_name.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/qualified_name.mli b/lib/qualified_name.mli index 196dfbd..0e39ff2 100644 --- a/lib/qualified_name.mli +++ b/lib/qualified_name.mli @@ -11,7 +11,7 @@ val parse : string -> t (** Splits on the first [:]. Raises [Unqualified] when no mg segment is present (i.e. no colon, or empty mg / empty name). *) -val try_parse : string -> (t, string) result +val try_parse : string -> (t, Condition.t) result val make : mg:string -> name:string -> t |