diff options
Diffstat (limited to 'src/common.ml')
| -rw-r--r-- | src/common.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/common.ml b/src/common.ml index bd3763c..b10cfa5 100644 --- a/src/common.ml +++ b/src/common.ml @@ -140,9 +140,7 @@ type replicas = Problem of string (* There was a problem during update detection *) | Different of difference (* Replicas differ *) -type reconItem = - {path : Path.t; - replicas : replicas} +type reconItem = {path1 : Path.t; path2 : Path.t; replicas : replicas} let ucLength = function File(desc,_) -> Props.length desc |