diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/abstract/Storage.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/abstract/Storage.ml b/lib/abstract/Storage.ml index 19d6c5c..e921be9 100644 --- a/lib/abstract/Storage.ml +++ b/lib/abstract/Storage.ml @@ -1,8 +1,3 @@ -(* @needs Configuration *) -(* @needs Condition *) -(* @needs Hash *) -(* @needs Representation *) - module type STORAGE = sig type connection type transaction |