diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/backend/managers/Cursor.ml | 2 | ||||
| -rw-r--r-- | lib/backend/managers/Cursor.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/backend/managers/Cursor.ml b/lib/backend/managers/Cursor.ml index 3295cae..474387a 100644 --- a/lib/backend/managers/Cursor.ml +++ b/lib/backend/managers/Cursor.ml @@ -1,6 +1,6 @@ type descriptor = | Stored of {merkle_root: string} - | Ephemeral of {merkle_root: string; dependencies: string BatFingerTree.t} + | Ephemeral of {merkle_root: string; dependencies: Concepts.Path.t BatFingerTree.t} module Make (Store : Abstract.Storage.STORAGE) = struct type cursor = unit diff --git a/lib/backend/managers/Cursor.mli b/lib/backend/managers/Cursor.mli index 71fb15d..a4dec44 100644 --- a/lib/backend/managers/Cursor.mli +++ b/lib/backend/managers/Cursor.mli @@ -1,6 +1,6 @@ type descriptor = | Stored of {merkle_root: string} - | Ephemeral of {merkle_root: string; dependencies: string BatFingerTree.t} + | Ephemeral of {merkle_root: string; dependencies: Concepts.Path.t BatFingerTree.t} module Make (Store : Abstract.Storage.STORAGE) : sig type cursor |