From 036b38a97fedc50f63c5b5735f76cd746b184c8f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 29 Oct 2021 15:31:33 +0200
Subject: [PATCH] ubuntu 16 is no more

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 azure-pipelines.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 26a29038ab4..ea894a93a41 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -132,7 +132,7 @@ jobs:
 #   - template: scripts/test-java-cmake.yml
 #   - template: scripts/test-regressions.yml
   
-- job: "Ubuntu16CMake"
+- job: "UbuntuCMake"
   displayName: "Ubuntu build - cmake"
   pool:
     vmImage: "Ubuntu-latest"