Skip to content

Commit 7be79a4

Browse files
committed
khepri_machine_v0: Fix spec of get_tree/1
[Why] In `khepri_machine_v0`, it can only return a `tree_v0()` tree. This was reported by Dialyzer in Erlang/OTP 28.
1 parent 5d14401 commit 7be79a4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/khepri_machine_v0.erl

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -88,7 +88,7 @@ get_config(#khepri_machine{config = Config}) ->
8888

8989
-spec get_tree(State) -> Tree when
9090
State :: khepri_machine_v0:state(),
91-
Tree :: khepri_tree:tree().
91+
Tree :: khepri_tree:tree_v0().
9292
%% @doc Returns the tree from the given state.
9393
%%
9494
%% @private

0 commit comments

Comments
 (0)