From 49a04280c6db96f2a88768ac8c754c9245a39bed Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <alejandro@mosteo.com>
Date: Sat, 28 Apr 2018 15:55:34 +0200
Subject: [PATCH] Minor semantic rename

---
 src/alire-platforms.ads | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/alire-platforms.ads b/src/alire-platforms.ads
index a2ca090b..c6968a51 100644
--- a/src/alire-platforms.ads
+++ b/src/alire-platforms.ads
@@ -26,7 +26,7 @@ package Alire.Platforms with Preelaborate is
                      Ubuntu_Yakkety,
                      Ubunty_Zesty,
                      Ubuntu_Artful,
-                     Distro_Version_Unsupported);
+                     Distro_Version_Unknown);
    --  Known flavors of OSs
    --  It turns out that Debian uses no numbers for its non-stable releases, so we'll prefer the codename
    --  Not really used very much for now