From bf22e1de199155a574713f9158ec5b46fd9f8d3c Mon Sep 17 00:00:00 2001
From: Christoph Amrein <camrein@users.noreply.github.com>
Date: Wed, 11 Nov 2020 10:24:48 +0100
Subject: [PATCH] Incremented version for the next development cycle.

---
 Source/DafnyLS/DafnyLS.csproj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/DafnyLS/DafnyLS.csproj b/Source/DafnyLS/DafnyLS.csproj
index 87688474785..4c16a2f4dd5 100644
--- a/Source/DafnyLS/DafnyLS.csproj
+++ b/Source/DafnyLS/DafnyLS.csproj
@@ -5,7 +5,7 @@
     <TargetFramework>netcoreapp3.1</TargetFramework>
     <Nullable>enable</Nullable>
     <RootNamespace>Microsoft.Dafny.LanguageServer</RootNamespace>
-    <Version>2.0.0</Version>
+    <Version>2.1.0</Version>
   </PropertyGroup>
 
   <ItemGroup>