From 3be40fd299644c0ea2d02789fce73f9f213e21eb Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <amosteo@unizar.es>
Date: Mon, 4 May 2020 13:17:53 +0200
Subject: [PATCH] Fix: load index when --solve is requested in show (#382)

---
 src/alr/alr-commands-show.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/alr/alr-commands-show.adb b/src/alr/alr-commands-show.adb
index 4a5ac893..f59d2179 100644
--- a/src/alr/alr-commands-show.adb
+++ b/src/alr/alr-commands-show.adb
@@ -259,7 +259,7 @@ package body Alr.Commands.Show is
            ("Switch --external can only be combined with --system");
       end if;
 
-      if Num_Arguments = 1 then
+      if Num_Arguments = 1 or else Cmd.Solve then
          Requires_Full_Index;
       end if;
 
-- 
2.39.5