diff options
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 ba7040f..270f26b 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -252,7 +252,7 @@ let interact prilist rilist = displayri pri; display "\n"; display s; display "\n"; previous pril (pri::ril) | pri::pril -> loop pril (pri::ril) - | [] -> loop prev ril in + | [] -> display ("\n" ^ Uicommon.roots2string() ^ "\n"); loop prev ril in function [] -> (ConfirmBeforeProceeding, Safelist.rev prev) | ri::rest as ril -> |