diff options
| author | G.raud <graud@gmx.com> | 2018-01-27 22:30:59 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-01-28 07:15:54 +0100 |
| commit | ce52614cc1b04986ef07e01c31fe2b6eb360ba93 (patch) | |
| tree | 91658d2967cde15b132407c5e6352b1bc6791869 /src | |
| parent | fd54fcbc54ef08d1c8e4ce544ae1e15ad6cef7fb (diff) | |
| download | unison-ce52614cc1b04986ef07e01c31fe2b6eb360ba93.zip unison-ce52614cc1b04986ef07e01c31fe2b6eb360ba93.tar.gz unison-ce52614cc1b04986ef07e01c31fe2b6eb360ba93.tar.bz2 | |
Uitext.interact: match against wildcard when unused (no functional changes)
Diffstat (limited to 'src')
| -rw-r--r-- | src/uitext.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 270f26b..b1f5233 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -276,7 +276,7 @@ let interact prilist rilist = displayri ri; match ri.replicas with Problem s -> display "\n"; display s; display "\n"; next() - | Different ({rc1 = rc1; rc2 = rc2; direction = dir} as diff) -> + | Different ({rc1 = _; rc2 = _; direction = dir} as diff) -> if Prefs.read Uicommon.auto && not (isConflict dir) then begin display "\n"; next() end else |