diff options
Diffstat (limited to 'src/commit.mli')
| -rw-r--r-- | src/commit.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/commit.mli b/src/commit.mli index 12ad084..697c5fd 100644 --- a/src/commit.mli +++ b/src/commit.mli @@ -40,5 +40,3 @@ val make_commit_data : Vyos1x.Reference_tree.t -> Vyos1x.Config_tree.t -> Vyos1x val calculate_priority_lists : Vyos1x.Reference_tree.t -> Vyos1x.Config_tree.t -> node_data list * node_data list val commit_update : commit_data -> commit_data - -val commit_store : commit_data -> unit |