diff options
Diffstat (limited to 'lib/manipulation.ml')
| -rw-r--r-- | lib/manipulation.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/manipulation.ml b/lib/manipulation.ml index 5f7cfb9..2a43b6c 100644 --- a/lib/manipulation.ml +++ b/lib/manipulation.ml @@ -45,9 +45,7 @@ let build_membership_criteria _schema : (Tuple.t -> bool) = module Make (Storage : Management.Physical.S) = struct type storage = Storage.t - (* ============================================================================ - Constraint evaluation context - ============================================================================ *) + (* Constraint evaluation context *) (** Build an eval_context closed over a specific (storage, db) snapshot. All relation lookups resolve against this exact database version. *) |